#!/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