diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2019-09-13 17:04:08 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2019-09-13 17:04:08 -0400 |
commit | ba716f3882a08ee14601f1b3c3b05e79af04ee9d (patch) | |
tree | cf7ce4abf103da81cb83ac0310833233afe1f49a /Makefile | |
parent | f8e9397b508479b79f5dad062160b50d38686cb3 (diff) | |
download | bfs-ba716f3882a08ee14601f1b3c3b05e79af04ee9d.tar.xz |
Makefile: Test different search strategies in parallel
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -103,10 +103,10 @@ tests/mksock: tests/mksock.o %.o: %.c $(CC) $(ALL_CFLAGS) -c $< -o $@ -check: all - ./tests.sh --bfs="$(CURDIR)/bfs" - ./tests.sh --bfs="$(CURDIR)/bfs -S dfs" - ./tests.sh --bfs="$(CURDIR)/bfs -S ids" +check: check-bfs check-dfs check-ids + +check-%: all + ./tests.sh --bfs="$(CURDIR)/bfs -S $*" distcheck: +$(MAKE) -Bs check CFLAGS="$(CFLAGS) $(ASAN_CFLAGS) $(UBSAN_CFLAGS)" |