From 3cfcb2525810c5189919bd3507e32e515635c09e Mon Sep 17 00:00:00 2001
From: Francois Fleuret <fleuret@moose.fleuret.org>
Date: Thu, 9 Oct 2008 12:19:59 +0200
Subject: [PATCH] automatic commit

---
 run.sh | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
2.39.5