configure: default to --prefix=/usr on GNU/Linux

I'm getting tired of always typing --prefix=/usr
so making it the default.

Reviewed-by: H.J. Lu <hjl.tools@gmail.com>
This commit is contained in:
DJ Delorie 2024-10-11 18:13:41 -04:00
parent dcad785074
commit 81439a116c
2 changed files with 7 additions and 2 deletions

5
sysdeps/unix/sysv/linux/configure vendored Normal file → Executable file
View File

@ -1,3 +1,4 @@
ac_default_prefix=/usr
# This file is generated from configure.ac by Autoconf. DO NOT EDIT!
# Local configure fragment for sysdeps/unix/sysv/linux.
@ -116,7 +117,9 @@ if test -n "$sysheaders"; then
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

View File

@ -71,7 +71,9 @@ if test -n "$sysheaders"; then
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