diff options
| -rwxr-xr-x | configure.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/configure.sh b/configure.sh index 1f0224d..687c6b4 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -24,10 +24,7 @@ | |||
| 24 | # SANITIZE="option1,option2,..." | 24 | # SANITIZE="option1,option2,..." |
| 25 | # Add the options "-fsanitize=option1", "-fsanitize=option2", ... to the | 25 | # Add the options "-fsanitize=option1", "-fsanitize=option2", ... to the |
| 26 | # compilation command when compiling in debug mode. | 26 | # compilation command when compiling in debug mode. |
| 27 | # By default, "-fsanitize=address" and "-fsanitize=undefined" will be used. | 27 | # By default, no sanitizer is used. |
| 28 | # If this variable is set, the default is overridden. No check is performed | ||
| 29 | # on the availability of any sanitizer used, make sure the ones you use are | ||
| 30 | # available on your system. | ||
| 31 | # | 28 | # |
| 32 | # Examples | 29 | # Examples |
| 33 | # | 30 | # |
| @@ -99,8 +96,6 @@ if [ -n "$SANITIZE" ]; then | |||
| 99 | for san in $(echo "$SANITIZE" | tr ',' '\n'); do | 96 | for san in $(echo "$SANITIZE" | tr ',' '\n'); do |
| 100 | SAN="$SAN -fsanitize=$san" | 97 | SAN="$SAN -fsanitize=$san" |
| 101 | done | 98 | done |
| 102 | else | ||
| 103 | SAN="-fsanitize=address -fsanitize=undefined" | ||
| 104 | fi | 99 | fi |
| 105 | LIBS="-lpthread" | 100 | LIBS="-lpthread" |
| 106 | 101 | ||
