$ cat update #!/bin/sh set -e -u #if test ! -d CD #then echo "CD directory missing" # exit 1 #fi no_master=0 no_thg=0 while test $# -gt 0 do case $1 in -m) shift; no_master=1;; -t) shift; no_thg=1;; -h|--help) echo "Update FreeRCT mirror files." echo "update [-t] [-m]" echo "with -t Do not start thg" echo " -m Do not update from master" exit 0;; "") break;; *) abort "Unknown option \\$1. Try -h option for help.";; esac done hg -R hg_trunk log -r tip cd hg_trunk if test $no_master -eq 0 then hg fetch fi if test $no_thg -eq 0 then thg & fi cd ../play if test $no_master -eq 0 then make clean hg pull -u cmake . time make make doc if test ! -z doxygen_warnings.txt then echo echo "Warnings in play/doxygen_warnings.txt (`wc -l doxygen_warnings.txt` lines)" fi fi