From: NeilBrown Date: Sat, 30 Oct 2021 04:00:03 +0000 (+1100) Subject: oceani-tests: make it possible to skip valgrind tests. X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=2807385c1276c2bf289b237c2adda757ec19acc8 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 --- 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+"$$@"} \