diff options
Diffstat (limited to 'test/test.sh')
| -rwxr-xr-x | test/test.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/test.sh b/test/test.sh index 3adee3a..8e50cf5 100755 --- a/test/test.sh +++ b/test/test.sh | |||
| @@ -1,6 +1,9 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | detectsan() { cc -fsanitize=$1 -dM -E -x c - </dev/null | grep "SANITIZE"; } | 3 | detectsan() { |
| 4 | cc -fsanitize=$1 -dM -E -x c - </dev/null 2>/dev/null \ | ||
| 5 | | grep "SANITIZE" | ||
| 6 | } | ||
| 4 | 7 | ||
| 5 | re="${TEST:-$@}" | 8 | re="${TEST:-$@}" |
| 6 | 9 | ||
