From e2c176a084f46fcc235ae1bb69dda6965c4e80a2 Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Wed, 13 Oct 2021 16:16:24 +0200 Subject: add option to configure SKIP_CHECK in exp --- exp/Makefile | 1 + exp/README.md | 3 ++- 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=] [MAX_VERSION=] [RANGE=] +make [SKIP_COMMITS=] [SKIP_CHECK=] [MAX_VERSION=] [RANGE=] # clean results make mostlyclean @@ -21,5 +21,6 @@ make clean By default: - `SKIP_COMMITS` = 0 +- `SKIP_CHECK` = 4 - `MAX_VERSION` = 5 - `RANGE` = daily diff --git a/exp/exp.sh b/exp/exp.sh index 113d154..0c895b6 100755 --- a/exp/exp.sh +++ b/exp/exp.sh @@ -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" -- cgit v1.2.3