diff options
| -rw-r--r-- | exp/Makefile | 1 | ||||
| -rw-r--r-- | exp/README.md | 3 | ||||
| -rwxr-xr-x | exp/exp.sh | 3 |
3 files changed, 5 insertions, 2 deletions
diff --git a/exp/Makefile b/exp/Makefile index e7c104a..175ce42 100644 --- a/exp/Makefile +++ b/exp/Makefile @@ -15,6 +15,7 @@ export LC_NUMERIC := export DNA_BACKUP ?= ../dna-backup export DNA_PARAMS ?= dna_params export MAX_VERSION ?= 5 +export SKIP_CHECK ?= 4 export COMMITS ?= commits.$(RANGE) DNA_4K ?= dna_4k DNA_8K ?= dna_8k diff --git a/exp/README.md b/exp/README.md index 2ad6ece..f739e46 100644 --- a/exp/README.md +++ b/exp/README.md @@ -4,7 +4,7 @@ ```bash # run experiences -make [SKIP_COMMITS=<count>] [MAX_VERSION=<count>] [RANGE=<range>] +make [SKIP_COMMITS=<count>] [SKIP_CHECK=<count>] [MAX_VERSION=<count>] [RANGE=<range>] # clean results make mostlyclean @@ -21,5 +21,6 @@ make clean By default: - `SKIP_COMMITS` = 0 +- `SKIP_CHECK` = 4 - `MAX_VERSION` = 5 - `RANGE` = daily @@ -6,6 +6,7 @@ # - REPO_PATH: the path of the repo the experiment is based on # - GIT_PATH: the path of the repo git-dir # - MAX_VERSION: the max number for versions for the experiment +# - SKIP_CHECK: the number of versions to skip checking # - COMMITS: the name of the file that contains the lists of versions # - TARGZ: the path of the tar.gz dir # - DIFFS: the path of the git diff dir @@ -77,7 +78,7 @@ do $DNA_BACKUP commit -v 2 $flags $REPO_PATH $name done - if [[ $(( $i % 4 )) == 0 ]] + if [[ $(( $i % $SKIP_CHECK )) == 0 ]] then # Check restore from git diffs log "restore from git diffs" |