diff options
| -rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure index 50a0b80b27..219ff13748 100755 --- a/configure +++ b/configure @@ -1230,7 +1230,10 @@ add_to warn_flags -Wendif-labels add_to warn_flags -Wexpansion-to-defined add_to warn_flags -Wimplicit-fallthrough=2 add_to warn_flags -Wmissing-format-attribute -add_to warn_flags -Wthread-safety + +if test "$targetos" != "darwin"; then + add_to warn_flags -Wthread-safety +fi nowarn_flags= add_to nowarn_flags -Wno-initializer-overrides |