From 0d1b14ee333bdaae9942cf45f1d5cb7e395f8ab6 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Sat, 22 May 2021 11:08:03 +0200 Subject: [PATCH] Bring back the run expensive tests --- util/run-gnu-test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/run-gnu-test.sh b/util/run-gnu-test.sh index 5031863c4..b9948ccd3 100644 --- a/util/run-gnu-test.sh +++ b/util/run-gnu-test.sh @@ -4,4 +4,4 @@ BUILDDIR="${PWD}/uutils/target/release" GNULIB_DIR="${PWD}/gnulib" pushd gnu -timeout -sKILL 2h make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=no RUN_VERY_EXPENSIVE_TESTS=no VERBOSE=no || : # Kill after 4 hours in case something gets stuck in make +timeout -sKILL 2h make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || : # Kill after 4 hours in case something gets stuck in make