From 2fff257cde587e424eccbb02e5149c5f402984f6 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Sun, 27 Aug 2023 11:43:29 +0200 Subject: Makefile: remove unused targets --- Makefile | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/Makefile b/Makefile index c2870dd..9758427 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3