build


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/bash

pushd images

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 make -j 3 -f ../Makefile ${buildname}.done >> ${buildname}.buildlog 2>&1

echo $buildname > lastbuild
date ; date >> ${buildname}.buildlog

popd