diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 16:11:15 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 16:11:15 +0200 |
commit | c4496c4c63a01b2a7c1b89cca128ce0b55b50c29 (patch) | |
tree | 2fc4ed56f3d97386ee9aa5515d9994492b9eb599 | |
parent | 2a3f4b2378c14865bc2f6ad76f21ae6444c833c8 (diff) | |
download | compcert-kvx-c4496c4c63a01b2a7c1b89cca128ce0b55b50c29.tar.gz compcert-kvx-c4496c4c63a01b2a7c1b89cca128ce0b55b50c29.zip |
Adding back "exit 2" to the test target of test/c/Makefile
-rw-r--r-- | test/c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index b2d83352..7aee6c4f 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -45,7 +45,7 @@ test: all $(EXECUTE) ./$$i.compcert > $$i.compcert.out;\ if cmp -s $$i.compcert.out Results/$$i; \ then echo "$$i: passed"; \ - else echo "$$i: FAILED"; \ + else echo "$$i: FAILED"; exit 2; \ fi; \ done @@ -54,7 +54,7 @@ test_gcc: all_gcc $(EXECUTE) ./$$i.gcc > $$i.gcc.out;\ if cmp -s $$i.gcc.out Results/$$i; \ then echo "$$i: passed"; \ - else echo "$$i: FAILED"; \ + else echo "$$i: FAILED"; exit 2;\ fi; \ done |