Unify make and cmake behaviours

This fixes the inconsistencies between cmake and make
behaviours.

Author: TGWDB

regression/Makefile

@@ -71,7 +71,7 @@ test:
 .PHONY: $(DIRS)
 $(DIRS):
 	@echo "Running $@..." ;
-	$(MAKE) -C "$@" test || exit 1;
+	$(MAKE) -C "$@" || exit 1;
 
 # Run all test directories using GNU Parallel
 .PHONY: test-parallel

regression/cbmc/Makefile

@@ -1,3 +1,5 @@
+THIS_FILE := $(lastword $(MAKEFILE_LIST))
+
 default: test
 
 include ../../src/config.inc
@@ -11,6 +13,8 @@ endif
 
 test:
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" -X smt-backend $(GCC_ONLY)
+	@$(MAKE) -f $(THIS_FILE) test-paths-lifo
+	@$(MAKE) -f $(THIS_FILE) test-cprover-smt2
 
 test-cprover-smt2:
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --cprover-smt2" -X broken-smt-backend -X thorough-smt-backend $(GCC_ONLY)