summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2019-07-04 17:04:06 -0400
committerTavian Barnes <tavianator@tavianator.com>2019-07-04 17:04:06 -0400
commit35c114c39bcdcbcbb5c4e70d413606a17daa44e4 (patch)
tree39a4d471fe32b7eaca92f43392148364c251c950
parent433d08d94f12f0e560cc2285bfbc2f9cac015ffe (diff)
downloadbfs-35c114c39bcdcbcbb5c4e70d413606a17daa44e4.tar.xz
distcheck: Run --sudo tests with all search strategies
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 961a896..5619aad 100644
--- a/Makefile
+++ b/Makefile
@@ -112,7 +112,9 @@ endif
+$(MAKE) -Bs release check
+$(MAKE) -Bs check
ifeq ($(OS),Linux)
- ./tests.sh --sudo
+ ./tests.sh --sudo --bfs="$(realpath bfs)"
+ ./tests.sh --sudo --bfs="$(realpath bfs) -S dfs"
+ ./tests.sh --sudo --bfs="$(realpath bfs) -S ids"
endif
clean: