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 026d450..2b2f40b 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -85,7 +85,7 @@ validatethreads | |||
| 85 | validatearch | 85 | validatearch |
| 86 | 86 | ||
| 87 | STD="-std=c11" | 87 | STD="-std=c11" |
| 88 | WFLAGS="-pedantic -Wall -Wextra -Werror" | 88 | WFLAGS="-pedantic -Wall -Wextra" |
| 89 | WNOFLAGS="-Wno-unused-parameter -Wno-unused-function -Wno-unknown-pragmas" | 89 | WNOFLAGS="-Wno-unused-parameter -Wno-unused-function -Wno-unknown-pragmas" |
| 90 | 90 | ||
| 91 | [ "$ARCH" = "AVX2" ] && AVX="-mavx2" | 91 | [ "$ARCH" = "AVX2" ] && AVX="-mavx2" |