diff options
| -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 |