diff options
Diffstat (limited to 'test/Makefile')
-rw-r--r-- | test/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/test/Makefile b/test/Makefile index 5aa115d8..b469eec2 100644 --- a/test/Makefile +++ b/test/Makefile @@ -11,6 +11,3 @@ bench: clean: for i in $(DIRS); do $(MAKE) -C $$i clean; done - -ccheck: - for i in $(DIRS); do $(MAKE) -C $$i ccheck; done |