4 TEMP=`getopt -o r --long rebuild \
7 if [ $? != 0 ] ; then echo "Terminating..." >&2 ; exit 1 ; fi
9 # Note the quotes around `$TEMP': they are essential!
16 -r|--rebuild) opt_rebuild=true ; shift ;;
22 if [ false == $opt_rebuild -o ! -d "build" ] ; then
29 (cd build ; cmake .. -DMODULE=$1 ; make -j7 )
36 for mod in `ls -1 src/ | grep -v CMakeList `
38 if [ $mod != 'common' ] && [ $mod != 'manual' ]; then
41 if [ $? -ne 0 ]; then echo "Build failed" ; exit 1; fi
46 echo "Build succeeded"