From 2dcb9d599648b3d2b745696b123b2bc30b2d2a5b Mon Sep 17 00:00:00 2001 From: Avril Date: Mon, 23 Nov 2020 15:26:17 +0000 Subject: [PATCH] fix? makefile bug --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7fc4b30..2b402fe 100644 --- a/Makefile +++ b/Makefile @@ -66,7 +66,7 @@ pgo-generate: $(PGO_OBJ) pgo-reset: find ./prof -name \*.gcda -exec rm {} + -pgo-profile: | pgo-reset pgo-generate +pgo-profile: | pgo-generate pgo-reset #./profile/gen $(PROF_LARGE_BOUND) "$(PROF_LOCATION)/large" #./profile/gen $(PROF_SMALL_BOUND) "$(PROF_LOCATION)/small" for i in {1..$(PROF_ITERATIONS)}; do \