diff options
Diffstat (limited to 'compile.sh')
-rwxr-xr-x | compile.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compile.sh b/compile.sh new file mode 100755 index 0000000..1a99090 --- /dev/null +++ b/compile.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +set -e + +make --always-make -f Makefile ${1} opgui && make --always-make -f Makefile ${1} op |