projects
/
folded-ctf.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
automatic commit
[folded-ctf.git]
/
run.sh
diff --git
a/run.sh
b/run.sh
index
3a90f56
..
bd12a37
100755
(executable)
--- a/
run.sh
+++ b/
run.sh
@@
-23,6
+23,11
@@
MAIN_URL="http://www.idiap.ch/folded-ctf"
make -j -k
+if [[ $? != 0 ]]; then
+ echo "Compilation failed." >&2
+ exit 1
+fi
+
echo
# Generating the pool file