I'm getting tired of always typing --prefix=/usr
so making it the default.
Reviewed-by: H.J. Lu <hjl.tools@gmail.com>
+ac_default_prefix=/usr
# This file is generated from configure.ac by Autoconf. DO NOT EDIT!
# Local configure fragment for sysdeps/unix/sysv/linux.
CPPFLAGS=$OLD_CPPFLAGS
fi
-if test "$prefix" = "/usr/local" -o "$prefix" = "/usr/local/" -o "$prefix" = "NONE"; then
+
+
+if test "$prefix" = "/usr/local" -o "$prefix" = "/usr/local/"; then
if test $enable_sanity = yes; then
echo "\
*** On GNU/Linux systems the GNU C Library should not be installed into
CPPFLAGS=$OLD_CPPFLAGS
fi
-if test "$prefix" = "/usr/local" -o "$prefix" = "/usr/local/" -o "$prefix" = "NONE"; then
+AC_PREFIX_DEFAULT([/usr])
+
+if test "$prefix" = "/usr/local" -o "$prefix" = "/usr/local/"; then
if test $enable_sanity = yes; then
echo "\
*** On GNU/Linux systems the GNU C Library should not be installed into