summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index d11f7e1..3b94585 100644
--- a/Makefile
+++ b/Makefile
@@ -190,7 +190,7 @@ STRATEGY_CHECKS := $(STRATEGIES:%=check-%)
CHECKS := $(STRATEGY_CHECKS) check-trie check-xtimegm
# Custom test flags for distcheck
-DISTCHECK_FLAGS := TEST_FLAGS="--sudo --verbose=tests"
+DISTCHECK_FLAGS := -s TEST_FLAGS="--sudo --verbose=skipped"
default: bfs
.PHONY: default
@@ -269,7 +269,7 @@ ifeq ($(OS) $(ARCH),Linux x86_64)
endif
+$(MAKE) -B release check $(DISTCHECK_FLAGS)
+$(MAKE) -B check $(DISTCHECK_FLAGS)
- +$(MAKE) check-install
+ +$(MAKE) check-install $(DISTCHECK_FLAGS)
.PHONY: distcheck
clean: