diff options
| -rwxr-xr-x | dodge-balls.sh | 3 | ||||
| -rw-r--r-- | suppr.txt | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/dodge-balls.sh b/dodge-balls.sh new file mode 100755 index 0000000..b2a05d6 --- /dev/null +++ b/dodge-balls.sh @@ -0,0 +1,3 @@ +#!/bin/sh + +LSAN_OPTIONS=suppressions=suppr.txt exec "$(dirname "${0}")/dodge-balls" "${@}" diff --git a/suppr.txt b/suppr.txt new file mode 100644 index 0000000..ca7d479 --- /dev/null +++ b/suppr.txt @@ -0,0 +1 @@ +leak:/lib/ |