diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -0,0 +1,10 @@ +#!/bin/bash +pushd images +date >> buildlog +prevbuild=$(/bin/ls *.done | tail -1) +nextbuild=$(python -c "print '%0.2d' % (int('$prevbuild'.split('.')[0][-2:]) + 1);") +buildname=soasxo$nextbuild +echo building $buildname +time make -f ../Makefile $buildname >> buildlog 2>&1 +date >> buildlog +popd |