scripts/build/cc/gcc.sh
changeset 3271 c65dc9b98841
parent 3269 6bf3336283c2
child 3273 c95c1ccf5b77
     1.1 --- a/scripts/build/cc/gcc.sh	Fri Jan 03 10:57:48 2014 +0100
     1.2 +++ b/scripts/build/cc/gcc.sh	Sat Jan 04 01:02:57 2014 +0100
     1.3 @@ -647,6 +647,9 @@
     1.4          if [ "${CT_THREADS}" = "none" ]; then
     1.5              extra_config+=(--disable-libatomic)
     1.6          fi
     1.7 +        if [ "${CT_THREADS}" != "nptl" ]; then
     1.8 +            extra_config+=(--disable-libsanitizer)
     1.9 +        fi
    1.10      fi
    1.11      if [ "${CT_CC_GCC_LIBMUDFLAP}" = "y" ]; then
    1.12          extra_config+=(--enable-libmudflap)