From 35c114c39bcdcbcbb5c4e70d413606a17daa44e4 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Thu, 4 Jul 2019 17:04:06 -0400 Subject: distcheck: Run --sudo tests with all search strategies --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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: -- cgit v1.2.3