# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1008050512 0
# Node ID c7e803b60fc6c4daa53023e5f8a2a9367896f858
# Parent  d5fc57bcb0f2a4954a72d1a3bac4e21120e730ba
(hppa*-*-linux-gnu*): New alternative.

diff -r d5fc57bcb0f2 -r c7e803b60fc6 configure.in
--- 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!