diff options
Diffstat (limited to 'extras/hs-test/Makefile')
-rw-r--r-- | extras/hs-test/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/hs-test/Makefile b/extras/hs-test/Makefile index c51f70bfde6..596acb1b57d 100644 --- a/extras/hs-test/Makefile +++ b/extras/hs-test/Makefile @@ -126,7 +126,7 @@ test-debug: .deps.ok .build_debug.ok @# necessary so gmake won't skip executing the bash script @-bash ./hs_test.sh --persist=$(PERSIST) --verbose=$(VERBOSE) \ --unconfigure=$(UNCONFIGURE) --debug=$(DEBUG) --test=$(TEST) --cpus=$(CPUS) \ - --vppsrc=$(VPPSRC) --parallel=$(PARALLEL) --repeat=$(REPEAT) + --vppsrc=$(VPPSRC) --parallel=$(PARALLEL) --repeat=$(REPEAT) --debug_build=true @bash ./script/compress.sh .PHONY: test-cov |