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/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'exp/README.md') 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 -- cgit v1.2.3