diff options
author | Martin Dengler <martin@martindengler.com> | 2009-07-09 23:38:41 (GMT) |
---|---|---|
committer | Martin Dengler <martin@martindengler.com> | 2009-07-09 23:38:41 (GMT) |
commit | 58fd3c9d37a7940e6110d39915aef4b31f590cf0 (patch) | |
tree | 00eee8d9fe41e723b0008a39bc1c6609d525e86e /build | |
parent | 135d9fd4e59fe2c91c7ccea13cb37d1e51517b4c (diff) |
keep separate logs per build
Diffstat (limited to 'build')
-rwxr-xr-x | build | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,17 +1,17 @@ #!/bin/bash pushd images -date >> buildlog 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 +date ; date >> ${buildname}.buildlog +echo building $buildname ; echo building $buildname >> ${buildname}.buildlog +/usr/bin/time nice make -j 3 -f ../Makefile ${buildname}.done >> ${buildname}.buildlog 2>&1 echo $buildname > lastbuild -date >> buildlog +date ; date >> ${buildname}.buildlog popd |