diff --git a/configure.in b/configure.in index 0cd3754d2d6786e79b0e611c56171ae2595f2430..57ce57d9ccaa0b7dcbbb8aad3118ffd3d1211f3a 100644 --- a/configure.in +++ b/configure.in @@ -438,7 +438,7 @@ if [ x${with_stabs} = x ]; then case "${target}" in mips*-*-irix6*) ;; - mips*-*-* | alpha*-*-osf* | i[3456]86*-*-sysv4* | i[3456]86*-*-unixware*) + mips*-*-* | alpha*-*-osf*) with_stabs=yes; withoptions="${withoptions} --with-stabs" ;;