From 81439a116cf48583127ddf1f09809440aa40969a Mon Sep 17 00:00:00 2001 From: DJ Delorie Date: Fri, 11 Oct 2024 18:13:41 -0400 Subject: 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 --- sysdeps/unix/sysv/linux/configure | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) mode change 100644 => 100755 sysdeps/unix/sysv/linux/configure (limited to 'sysdeps/unix/sysv/linux/configure') diff --git a/sysdeps/unix/sysv/linux/configure b/sysdeps/unix/sysv/linux/configure old mode 100644 new mode 100755 index 4d642e9..8cda8e9 --- a/sysdeps/unix/sysv/linux/configure +++ b/sysdeps/unix/sysv/linux/configure @@ -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 -- cgit v1.1