From 8cb3388873d855d7398725548ac96de1b5c24d2d Mon Sep 17 00:00:00 2001 From: Avril Date: Mon, 23 Nov 2020 02:08:56 +0000 Subject: [PATCH] start pgo target --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4799328..3b93fe7 100644 --- a/Makefile +++ b/Makefile @@ -76,7 +76,8 @@ pgo-profile: | pgo-reset pgo-generate ./pgo-generate $(PROF_LOCATION)/large/unmatching > $(PROF_LOCATION)/stdout; \ ./pgo-generate $(PROF_LOCATION)/small/matching > $(PROF_LOCATION)/stdout; \ ./pgo-generate $(PROF_LOCATION)/small/unmatching > $(PROF_LOCATION)/stdout; \ - #TODO: More combinations \ + #TODO: More combinations + rm -rf $(PROF_LOCATION)/{large,small} \ done rm -rf $(PROF_LOCATION) rm pgo-generate