equal
deleted
inserted
replaced
40 if [ -r $1/test/Makefile ] ; then \ |
40 if [ -r $1/test/Makefile ] ; then \ |
41 echo "$(MAKE) -C $1/test $2" ; \ |
41 echo "$(MAKE) -C $1/test $2" ; \ |
42 $(MAKE) -C $1/test $2 ; \ |
42 $(MAKE) -C $1/test $2 ; \ |
43 else \ |
43 else \ |
44 echo "ERROR: File does not exist: $1/test/Makefile"; \ |
44 echo "ERROR: File does not exist: $1/test/Makefile"; \ |
|
45 exit 1; \ |
45 fi; \ |
46 fi; \ |
46 else \ |
47 else \ |
47 echo "WARNING: No testing done, directory does not exist: $1"; \ |
48 echo "WARNING: No testing done, directory does not exist: $1"; \ |
48 fi |
49 fi |
49 endef |
50 endef |