diff --git a/build.sh b/build.sh new file mode 100644 index 0000000000000000000000000000000000000000..62280008b94598c8e935f0fe44c41c346fb87ede --- /dev/null +++ b/build.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +source eng_unimelb_setup + +CFLAGS=-DNDEBUG make