diff options
Diffstat (limited to 'extras/hs-test/Makefile')
| -rw-r--r-- | extras/hs-test/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/extras/hs-test/Makefile b/extras/hs-test/Makefile index 7460026ed52..a392c14871a 100644 --- a/extras/hs-test/Makefile +++ b/extras/hs-test/Makefile @@ -7,6 +7,10 @@ ifeq ($(PERSIST),) PERSIST=false endif +ifeq ($(UNCONFIGURE),) +UNCONFIGURE=false +endif + ifeq ($(TEST),) TEST=all endif @@ -45,7 +49,8 @@ build-vpp-debug: .PHONY: test test: .deps.ok .build.vpp - @bash ./test --persist=$(PERSIST) --verbose=$(VERBOSE) --test=$(TEST) + @bash ./test --persist=$(PERSIST) --verbose=$(VERBOSE) \ + --unconfigure=$(UNCONFIGURE) --test=$(TEST) build-go: go build ./tools/http_server |