diff --git a/tests/Makefile b/tests/Makefile
index cba84b11d..064f60bba 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -118,7 +118,7 @@ ifeq ($(YOSYS_NOVERIFIC),1)
 endif
 endif
 	@echo ""
-	-@$(MAKE) --no-print-directory summary
+	@$(MAKE) --no-print-directory summary
 
 clean:
 	@rm -rf ./asicworld/*.out ./asicworld/*.log
diff --git a/tests/aiger/generate_mk.py b/tests/aiger/generate_mk.py
index 00be5b5f9..0e0200d6d 100644
--- a/tests/aiger/generate_mk.py
+++ b/tests/aiger/generate_mk.py
@@ -53,6 +53,6 @@ def create_tests():
 
     gen_tests_makefile.generate_cmd_test("aigmap", cmd)
 
-extra = [ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc" ]
+extra = [ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc", "SHELL := /bin/bash" ]
 
 gen_tests_makefile.generate_custom(create_tests, extra)