diff options
author | Martin Dengler <martin@martindengler.com> | 2009-07-09 17:26:54 (GMT) |
---|---|---|
committer | Martin Dengler <martin@martindengler.com> | 2009-07-09 17:26:54 (GMT) |
commit | 4e092661501ca6f0d8e8bfa8919a0af70b6e9681 (patch) | |
tree | 5be1b480c8b2b51d1d37df42c8b9e29ddf960c1e /build | |
parent | 2aed0041a14e77f894c76fda52cab50dc01a7794 (diff) |
use lastbuild file again
Diffstat (limited to 'build')
-rwxr-xr-x | build | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,11 +1,17 @@ #!/bin/bash + pushd images date >> buildlog -prevbuild=$(/bin/ls *.done | tail -1) + +prevbuild=$(<lastbuild) buildstem=$(python -c "print '$prevbuild'.split('.')[0][:-2];") nextbuild=$(python -c "print '%0.2d' % (int('$prevbuild'.split('.')[0][-2:]) + 1);") buildname=$buildstem$nextbuild + echo building $buildname /usr/bin/time nice make -j 3 -f ../Makefile ${buildname}.done >> buildlog 2>&1 + +echo $buildname > lastbuild date >> buildlog + popd |