build-sync.sh

#!/bin/bash
wget -N http://people.pwf.cam.ac.uk/ssb22/gradint/gradint-build.bgz
rm -rf gradint
tar -jxf gradint-build.bgz
rm -rf gradint/extras # TODO shouldn't be in gradint-build.bgz anyway
diff -r gradint-build gradint|grep "^Only in gradint-build"|grep -v \\.svn|sed -e 's,Only in ,svn del ",' -e 's,: ,/,' -e 's/$/"/'|bash
cp -pur gradint/* gradint-build/
find gradint|grep -v \\.svn|sed -e 's/gradint/gradint-build/' -e 's/^/svn add "' -e 's/$/"/'|bash
if test "a$Msg" == a; then export Msg="Gradint update"; fi
svn commit -m "$Msg"