diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 03873e5..06688e8 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -5,7 +5,7 @@ greparch() { | |||
| 5 | } | 5 | } |
| 6 | 6 | ||
| 7 | grepsan() { | 7 | grepsan() { |
| 8 | $CC -fsanitize=$1 -dM -E -x c - </dev/null 2>/dev/null | grep "SANITIZE" | 8 | $CC -fsanitize="$1" -dM -E -x c - </dev/null 2>/dev/null | grep "SANITIZE" |
| 9 | } | 9 | } |
| 10 | 10 | ||
| 11 | detectthreads() { | 11 | detectthreads() { |
