exit on compile error

dkarv · Nov 1, 2017 · 41025ea · 41025ea
1 parent 5c1b3e9
commit 41025ea
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/integration_tests/run.sh b/integration_tests/run.sh
@@ -4,15 +4,22 @@ rm -r result
 mkdir -p target
 mkdir -p result
 
-find src/com/dkarv/verifier -name "*.java" -print | xargs javac -d target
-find src/com/dkarv/testcases/$1 -name "*.java" -print | xargs javac -cp target -d target
+
+find src/com/dkarv/verifier -name "*.java" -print | \
+xargs javac -d target || exit 255
+
+find src/com/dkarv/testcases/$1 -name "*.java" -print | \
+xargs javac -cp target -d target || exit 255
+
 
 java -cp target \
 -javaagent:../jdcallgraph/target/jdcallgraph-0.2-agent.jar=./config.ini \
 com/dkarv/testcases/$1/Main
 
+
 if java -cp target com/dkarv/testcases/$1/Verification ; then
     echo "Verification of >>  $1  << succeeded" >&2
 else
     echo "Verification of >>  $1  << failed" >&2
+    exit 1
 fi