diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:04:06 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:04:06 -0400 |
| commit | 35c114c39bcdcbcbb5c4e70d413606a17daa44e4 (patch) | |
| tree | 39a4d471fe32b7eaca92f43392148364c251c950 /Makefile | |
| parent | 433d08d94f12f0e560cc2285bfbc2f9cac015ffe (diff) | |
| download | bfs-35c114c39bcdcbcbb5c4e70d413606a17daa44e4.tar.xz | |
distcheck: Run --sudo tests with all search strategies
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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: |