changeset 41931:c7e803b60fc6

(hppa*-*-linux-gnu*): New alternative.
author Richard M. Stallman <rms@gnu.org>
date Tue, 11 Dec 2001 06:01:52 +0000
parents d5fc57bcb0f2
children 59739c538815
files configure.in
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure.in	Mon Dec 10 22:52:51 2001 +0000
+++ b/configure.in	Tue Dec 11 06:01:52 2001 +0000
@@ -544,6 +544,10 @@
     machine=hp800 opsys=hpux11
   ;;
 
+  hppa*-*-linux-gnu* )
+    machine=hp800 opsys=gnu-linux
+  ;;
+
   ## HP 9000 series 700 and 800, running HP/UX
   hppa*-hp-hpux* )
     ## Cross-compilation?  Nah!