Enable memory analyzer regression tests when WITH_MEMORY_ANALYZER is set

Author: danpoe

regression/Makefile

@@ -30,13 +30,15 @@ DIRS = cbmc \
        symtab2gb \
        # Empty last line
 
+ifeq ($(WITH_MEMORY_ANALYZER),1)
+  DIRS += memory-analyzer
+endif
+
 # Run all test directories in sequence
 .PHONY: test
 test:
 	@for dir in $(DIRS); do \
-	  if [ "$$dir" != memory-analyzer -o "$WITH_MEMORY_ANALYZER" = 1 ]; then \
 		$(MAKE) "$$dir" || exit 1; \
-	  fi \
 	done;
 
 # Pattern to execute a single test suite directory