1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/bash
set -e
pushd images
# keep in sync with Makefile
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
date ; date >> ${buildname}.buildlog
echo building $buildname ; echo building $buildname >> ${buildname}.buildlog
/usr/bin/time nice setarch i586 \
make -f ../Makefile all >> ${buildname}.buildlog 2>&1
date ; date >> ${buildname}.buildlog
popd
|