diff options
| -rw-r--r-- | test/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index 0888529..00e532e 100644 --- a/test/Makefile +++ b/test/Makefile @@ -42,6 +42,7 @@ if [ -d $1 ] ; then \ $(MAKE) -C $1/test $2 ; \ else \ echo "ERROR: File does not exist: $1/test/Makefile"; \ + exit 1; \ fi; \ else \ echo "WARNING: No testing done, directory does not exist: $1"; \ |