Include hidden tests when counting tests

Author: Thomas Kiley

jbmc/unit/Makefile

@@ -144,8 +144,8 @@ all: $(CATCH_TEST)
 clean: java-testing-utils-clean
 
 test: $(CATCH_TEST)
-	if ! ./$(CATCH_TEST) -l | grep -q "^$(N_CATCH_TESTS) test cases" ; then \
-	  ./$(CATCH_TEST) -l ; fi
+	if ! ./$(CATCH_TEST) *,[.] -l | grep -q "^$(N_CATCH_TESTS) test cases" ; then \
+	  ./$(CATCH_TEST) *,[.] -l ; fi
 	./$(CATCH_TEST)
 
 

unit/Makefile

@@ -204,8 +204,8 @@ all: $(CATCH_TEST)
 clean: testing-utils-clean
 
 test: $(CATCH_TEST)
-	if ! ./$(CATCH_TEST) -l | grep -q "^$(N_CATCH_TESTS) test cases" ; then \
-		./$(CATCH_TEST) -l ; fi
+	if ! ./$(CATCH_TEST) *,[.] -l | grep -q "^$(N_CATCH_TESTS) test cases" ; then \
+		./$(CATCH_TEST) *,[.] -l ; fi
 	./$(CATCH_TEST) ${TAGS}