changeset 12842:f5e4db7e8197

(CFLAGS): When computing CFLAGS and REAL_CFLAGS from config.h, use SPECIFIED_CFLAGS to get what the user specified. (alpha-*-linux*): New configuration.
author Richard M. Stallman <rms@gnu.org>
date Sat, 12 Aug 1995 23:27:18 +0000
parents 639f9d12f0f8
children 4948ca294167
files configure.in
diffstat 1 files changed, 9 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/configure.in	Sat Aug 12 23:26:21 1995 +0000
+++ b/configure.in	Sat Aug 12 23:27:18 1995 +0000
@@ -164,10 +164,15 @@
     machine=alliant-2800 opsys=bsd4-3
   ;;
 
+  ;; Alpha (DEC) machines.
   alpha-dec-osf* )
     machine=alpha opsys=osf1
   ;;
 
+  alpha-*-linux* )
+    machine=alpha opsys=linux
+  ;;
+
   ## Altos 3068
   m68*-altos-sysv* )
     machine=altos opsys=usg5-2
@@ -1095,18 +1100,18 @@
 
 /* Get the CFLAGS for tests in configure.  */
 #ifdef __GNUC__
-configure___ CFLAGS=C_DEBUG_SWITCH C_OPTIMIZE_SWITCH '${CFLAGS}'
+configure___ CFLAGS=C_DEBUG_SWITCH C_OPTIMIZE_SWITCH '${SPECIFIED_CFLAGS}'
 #else
-configure___ CFLAGS=C_DEBUG_SWITCH '${CFLAGS}'
+configure___ CFLAGS=C_DEBUG_SWITCH '${SPECIFIED_CFLAGS}'
 #endif
 
 #else /* not THIS_IS_CONFIGURE */
 
 /* Get the CFLAGS for real compilation.  */
 #ifdef __GNUC__
-configure___ REAL_CFLAGS=C_DEBUG_SWITCH C_OPTIMIZE_SWITCH '${CFLAGS}'
+configure___ REAL_CFLAGS=C_DEBUG_SWITCH C_OPTIMIZE_SWITCH '${SPECIFIED_CFLAGS}'
 #else
-configure___ REAL_CFLAGS=C_DEBUG_SWITCH '${CFLAGS}'
+configure___ REAL_CFLAGS=C_DEBUG_SWITCH '${SPECIFIED_CFLAGS}'
 #endif
 
 #endif /* not THIS_IS_CONFIGURE */