ADDED make.sh Index: make.sh ================================================================== --- /dev/null +++ make.sh @@ -0,0 +1,108 @@ +# This is a wrapper, permitting overriding of the MAKE parameters + +# Are we doing a cross-compile for Windows? Set to '.w32' if we are: +cross= + +# Are we doing a clean? Set to 'clean' if so: +clean= + +# Are we doing all platforms? +doall=0 + +postbuild() +{ + echo "Finished build" +} + +die() +{ + echo $1 + exit 1 +} + +domake() +{ + optsfile="make.opts${cross}" + ( + if [ -f $optsfile ] + then + . $optsfile + fi + + make -f Makefile${cross} ${clean} || die "Could not build!" + + if [ "$clean" != "clean" ] + then + postbuild + fi + ) + +} + +syntax() +{ +cat <