diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -99,8 +99,8 @@ tests/mksock: tests/mksock.o check: all ./tests.sh --bfs="$(realpath bfs)" - ./tests.sh --bfs="$(realpath bfs) -dfs" - ./tests.sh --bfs="$(realpath bfs) -ids" + ./tests.sh --bfs="$(realpath bfs) -S dfs" + ./tests.sh --bfs="$(realpath bfs) -S ids" distcheck: +$(MAKE) -Bs check CFLAGS="$(CFLAGS) -fsanitize=undefined -fsanitize=address" |