diff --git a/util/run-gnu-test.sh b/util/run-gnu-test.sh index 61034e015..044c6c140 100644 --- a/util/run-gnu-test.sh +++ b/util/run-gnu-test.sh @@ -5,4 +5,5 @@ BUILDDIR="${PWD}/uutils/target/release" GNULIB_DIR="${PWD}/gnulib" pushd gnu +export RUST_BACKTRACE=1 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