diff options
-rw-r--r-- | Makefile | 8 |
1 files changed, 1 insertions, 7 deletions
@@ -104,11 +104,5 @@ flame_graphs: .PHONY: test/docker test/docker: test/sanity -.PHONY: test/local -test/local: test/sanity test/stress - .PHONY: test -test: test/local - -.PHONY: test/all -test/all: test/sanity test/stress test/valgrind +test: test/sanity test/stress |