X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=run.sh;h=bd12a3743bbca4fac42fd079696a899c41482b7d;hb=6e1801915cc847204e8ae8a4ff04463b2e85f538;hp=3a90f56a681b0bab6001c0da9afa5d271bc3694b;hpb=d922ad61d35e9a6996730bec24b16f8bf7bc426c;p=folded-ctf.git

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