blob: 4dbcee85fa98b42722533cd8d003a49cf1e8efe6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/bash
pushd images
date >> buildlog
prevbuild=$(/bin/ls *.done | tail -1)
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 >> buildlog
popd
|
