]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - config/weakref.m4
[Ada] Use new API when creating a special SPARK heap entity
[thirdparty/gcc.git] / config / weakref.m4
index 39b63d39b8ab88c0a60872392a3efe804b52eea1..ecb85672805882b330cac43e0fc12e7fe96aeec9 100644 (file)
@@ -38,7 +38,6 @@ int main ()
 }
 ]])], ac_cv_have_elf_style_weakref=yes, ac_cv_have_elf_style_weakref=no, [
 case "${host}" in
-  alpha*-dec-osf*) ac_cv_have_elf_style_weakref=no ;;
   *-apple-darwin[[89]]*) ac_cv_have_elf_style_weakref=no ;;
   *) ac_cv_have_elf_style_weakref=yes;;
 esac])CFLAGS="$weakref_m4_saved_CFLAGS"])