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)" |