aboutsummaryrefslogtreecommitdiff
path: root/exp/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'exp/Makefile')
-rw-r--r--exp/Makefile1
1 files changed, 1 insertions, 0 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