diff options
Diffstat (limited to '')
| -rwxr-xr-x | tests/imdtls-sessionbreak-vg.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/imdtls-sessionbreak-vg.sh b/tests/imdtls-sessionbreak-vg.sh new file mode 100755 index 0000000..aed1b5a --- /dev/null +++ b/tests/imdtls-sessionbreak-vg.sh @@ -0,0 +1,9 @@ +#!/bin/bash +if [ "$(valgrind --version)" == "valgrind-3.11.0" ]; then + printf 'This test does NOT work with valgrind-3.11.0 - valgrind always reports\n' + printf 'a valgrind-internal bug. So we need to skip it.\n' + exit 77 +fi +export USE_VALGRIND="YES" +export RS_TEST_VALGRIND_EXTRA_OPTS="--keep-debuginfo=yes" +source ${srcdir:-.}/imdtls-sessionbreak.sh |