aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-08-31 09:02:07 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-09-06 23:56:48 +0200
commit859bbdd93e8f9e76fe8ef00f384f0e974fda5163 (patch)
treeb8532c3c59ad9f3c0f07fc94edf97d6ae413ae9e
parent101649206777f00be5c23f60f87f01066ad64ece (diff)
downloadsparse-859bbdd93e8f9e76fe8ef00f384f0e974fda5163.tar.gz
testsuite: easier testing via script & makefile
With this change, using the testsuite via the Makefile is not limited anymore to a single file. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 639d4f51..09726ebb 100644
--- a/Makefile
+++ b/Makefile
@@ -273,8 +273,8 @@ version.h: FORCE
check: all
$(Q)cd validation && ./test-suite
-validation/%.t: $(PROGRAMS)
- @validation/test-suite single $*.c
+validation/%: $(PROGRAMS)
+ $(Q)validation/test-suite $*
clean: clean-check