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 74df81e..44774cd 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | STD="-std=c99" | 3 | STD="-std=c99" |
| 4 | WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter" | 4 | WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function" |
| 5 | [ "$TYPE" = "AVX2" ] && AVX="-mavx2" | 5 | [ "$TYPE" = "AVX2" ] && AVX="-mavx2" |
| 6 | [ "$(uname)" = "Linux" ] && SAN="-fsanitize=address -fsanitize=undefined" | 6 | [ "$(uname)" = "Linux" ] && SAN="-fsanitize=address -fsanitize=undefined" |
| 7 | 7 | ||
