From 73a197e2b6db4c8a6bed2c38520aa2d424e85b6b Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Tue, 12 Oct 2021 14:23:44 +0200 Subject: polish exp Makefile and README --- exp/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'exp/Makefile') diff --git a/exp/Makefile b/exp/Makefile index 555ae67..a5eee91 100644 --- a/exp/Makefile +++ b/exp/Makefile @@ -118,7 +118,7 @@ repo git &: .PHONY: clean clean: mostlyclean rm -rf $(REPO_PATH) $(GIT_PATH) - rm -f $(COMMITS) + rm -f commits.* mostlyclean: resultsclean rm -rf $(DATADIRS) $(DATADIRS:%=%.versions) -- cgit v1.2.3