From 474e805c75efff6fa7cd96c8f7dc5241569113fd Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Tue, 8 Apr 2008 15:17:40 +0000 Subject: [PATCH] Add a "run" target to build and run the cgtests. This uses the run-tests script. --- cgtests.mk | 3 +++ 1 file changed, 3 insertions(+) diff --git a/cgtests.mk b/cgtests.mk index eb2f721..cb2b12d 100644 --- a/cgtests.mk +++ b/cgtests.mk @@ -14,6 +14,9 @@ checkout: %: %.occ ./tock -vk --backend=$(BACKEND) -o $@ $< +run: $(tests) + cd cgtests && ./run-tests + run-all: $(addprefix run-,$(tests)) run-cgtests/%: cgtests/%