test/Makefile
changeset 5115 204e24e427b0
parent 5112 d8ead058e4d3
child 5499 eb0b3e373167
equal deleted inserted replaced
5114:27cccdaba851 5115:204e24e427b0
    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