From: Francois Fleuret Date: Thu, 9 Oct 2008 10:19:59 +0000 (+0200) Subject: automatic commit X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=3cfcb2525810c5189919bd3507e32e515635c09e;p=folded-ctf.git automatic commit --- diff --git a/run.sh b/run.sh index 3a90f56..bd12a37 100755 --- 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