From 56161254838e759243ccaab50c80327316a99979 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Wed, 21 Feb 2018 20:44:37 -0500 Subject: [PATCH] * admin/automerge: Speed up check phase. --- admin/automerge | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/admin/automerge b/admin/automerge index 18f8c759ebc..76c1596f3fa 100755 --- a/admin/automerge +++ b/admin/automerge @@ -213,7 +213,8 @@ echo "Build finished ok" echo "Testing..." -make "$@" check || die "check error" +## We just want a fast pass/fail, we don't want to debug. +make "$@" check TEST_LOAD_EL=no || die "check error" echo "Tests finished ok" -- 2.39.2