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 ec0343a..1f0224d 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -88,7 +88,7 @@ validatethreads | |||
| 88 | validatearch | 88 | validatearch |
| 89 | 89 | ||
| 90 | STD="-std=c11" | 90 | STD="-std=c11" |
| 91 | WFLAGS="-pedantic -Wall -Wextra -Werror" | 91 | WFLAGS="-pedantic -Wall -Wextra" |
| 92 | WNOFLAGS="-Wno-unused-parameter -Wno-unused-function -Wno-unknown-pragmas" | 92 | WNOFLAGS="-Wno-unused-parameter -Wno-unused-function -Wno-unknown-pragmas" |
| 93 | WNOFLAGS="$WNOFLAGS -Wno-unused-command-line-argument" | 93 | WNOFLAGS="$WNOFLAGS -Wno-unused-command-line-argument" |
| 94 | 94 | ||
