diff options
Diffstat (limited to 'exp/Makefile')
| -rw-r--r-- | exp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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) |