Makefiles: remove unused report-regression target

This target was used in the regression test setup before this repo
switched to `run_tests` and has been unused for some time.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

camkes/Makefile

@@ -9,8 +9,6 @@ images: Camkes
 default: images test
 test:
 all: images test
-report-regression:
-	@echo Camkes
 
 #
 # Setup heaps.

proof/Makefile

@@ -9,10 +9,6 @@ images: BaseRefine CBaseRefine Refine CRefine
 default: images test
 test:
 all: images test
-report-regression:
-	@echo Refine Access CBaseRefine CRefine \
-	      DRefine InfoFlow InfoFlowCBase InfoFlowC DPolicy \
-		  DSpecProofs Bisim
 
 #
 # Setup heaps.

spec/Makefile

@@ -14,9 +14,6 @@ L4V_ARCH?=ARM
 images: ASpec CKernel
 default: images test
 all: images test
-report-regression:
-	@echo ASpec ExecSpec DSpec TakeGrant CKernel CSpec \
-	      binary-verification-input
 
 #
 # Setup heaps.

sys-init/Makefile

@@ -9,8 +9,6 @@ images: SysInit
 default: images test
 test:
 all: images test
-report-regression:
-	@echo SysInitExamples
 
 #
 # Setup heaps.

tools/asmrefine/Makefile

@@ -8,9 +8,6 @@ default: AsmRefineTest
 
 all: AsmRefine AsmRefineTest
 
-report-regression:
-	@echo AsmRefine AsmRefineTest
-
 HEAPS += AsmRefine AsmRefineTest
 
 include ../../misc/isa-common.mk

tools/autocorres/Makefile

@@ -8,9 +8,6 @@ default: AutoCorresTest
 
 all: AutoCorres AutoCorresTest AutoCorresSEL4 AutoCorresDoc
 
-report-regression:
-	@echo AutoCorres AutoCorresTest AutoCorresDoc AutoCorresSEL4
-
 PARSE_TESTS_C := $(wildcard tests/parse-tests/*.c)
 PARSE_TESTS_THY := $(patsubst %.c,%.thy,$(PARSE_TESTS_C))
 

tools/c-parser/Makefile

@@ -77,10 +77,6 @@ GRAMMAR_PRODUCTS = StrictC.lex.sml StrictC.grm.sig StrictC.grm.sml
 .PHONY: c-parser-deps
 c-parser-deps: $(GRAMMAR_PRODUCTS)
 
-# Regression targets.
-report-regression: .FORCE
-	@echo CParser cparser_test cparser_tools
-
 .PHONY: .FORCE
 .FORCE: