From 2807385c1276c2bf289b237c2adda757ec19acc8 Mon Sep 17 00:00:00 2001 From: NeilBrown Date: Sat, 30 Oct 2021 15:00:03 +1100 Subject: [PATCH] oceani-tests: make it possible to skip valgrind tests. valgrind tests are slow and not always wanted, particilarly when examining coverage. So make it easy to skip them. Signed-off-by: NeilBrown --- csrc/oceani-tests.mdc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/csrc/oceani-tests.mdc b/csrc/oceani-tests.mdc index 55e8477..3bda937 100644 --- a/csrc/oceani-tests.mdc +++ b/csrc/oceani-tests.mdc @@ -84,7 +84,7 @@ arguments separated from the name by commas. For each test, there is a section coverage/oceani.mdc.gcov @rm -f .tmp* - @for T in $(oceani_tests); do \ + @[ -n "$$SKIP_VALGRIND" ] || for T in $(oceani_tests); do \ echo -n "Valgrind $$T.. "; \ i="$$IFS"; IFS=,; set $$T; IFS="$$i"; t=$$1; shift; \ if ! valgrind --error-exitcode=1 --log-file=.tmp.valg ./oceani --section "test: $$t" oceani-tests.mdc $${1+"$$@"} \ -- 2.43.0