diff options
-rw-r--r-- | checklink/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checklink/Makefile b/checklink/Makefile index c81cbbd3..1518e2c6 100644 --- a/checklink/Makefile +++ b/checklink/Makefile @@ -4,7 +4,7 @@ TESTS=c arcode lzw lzss raytracer regression spass all: $(TESTS) -CL=../cchecklink -noexhaust +CL=../cchecklink $(ARGS) TESTDIR=../test C=aes almabench binarytrees bisect chomp fannkuch fft fib integr knucleotide \ |