diff options
-rw-r--r-- | exp/Makefile | 2 | ||||
-rw-r--r-- | exp/README.md | 12 |
2 files changed, 12 insertions, 2 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) diff --git a/exp/README.md b/exp/README.md index 21ae41f..1437aea 100644 --- a/exp/README.md +++ b/exp/README.md @@ -4,7 +4,7 @@ ```bash # run experiences -make [MAX_VERSION=<count>] +make [SKIP_COMMITS=<count>] [MAX_VERSION=<count>] [COMMITS=<file>] # clean results make mostlyclean @@ -12,3 +12,13 @@ make mostlyclean # clean all make clean ``` + +Les 3 fichiers de commits suivants peuvent être automatiquement générés : + +- `commits.daily` +- `commits.weekly` +- `commits.monthly` + +Par défaut les 30 premiers commits journaliers sont skippés, le nombre +max de version utilisés pour l'expérience est 5 et le fichier +`commits.daily` est utiliser comme source de commits. |