diff options
Diffstat (limited to 'exp/Makefile')
-rw-r--r-- | exp/Makefile | 1 |
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 |