From bcb7fab917a3fcfd67e371b2e625a3f0a6740eb1 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Tue, 7 Sep 2021 23:23:29 +0200 Subject: [PATCH] GNU: allow to run a specific arg --- util/build-gnu.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/util/build-gnu.sh b/util/build-gnu.sh index e6d66ee..e3d99d3 100644 --- a/util/build-gnu.sh +++ b/util/build-gnu.sh @@ -22,5 +22,10 @@ fi # overwrite the GNU version with the rust impl cp find.rust find/find +if test -n "$1"; then + # if set, run only the test passed + export RUN_TEST="TESTS=$1" +fi + # Run the tests -make check-TESTS +make check-TESTS $RUN_TEST