diff options
-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: |