# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 767510348 0
# Node ID ff15f545744a842c7f699f0d47eff870f1425fcf
# Parent  2b5401aa9630d7d2a248820e9e41e6f080adc3a0
Use m/hp800.h in place of m/hp9000s800.h.

diff -r 2b5401aa9630 -r ff15f545744a configure1.in
--- a/configure1.in	Thu Apr 28 05:18:06 1994 +0000
+++ b/configure1.in	Thu Apr 28 05:19:08 1994 +0000
@@ -676,13 +676,13 @@
 
   ## HP 9000 series 700 and 800, running HP/UX
   hppa*-hp-hpux7* )
-    machine=hp9000s800 opsys=hpux
+    machine=hp800 opsys=hpux
   ;;
   hppa*-hp-hpux8* )
-    machine=hp9000s800 opsys=hpux8
+    machine=hp800 opsys=hpux8
   ;;
   hppa*-hp-hpux9* )
-    machine=hp9000s800 opsys=hpux9
+    machine=hp800 opsys=hpux9
   ;;
 
   ## HP 9000 series 700 and 800, running HP/UX
@@ -691,10 +691,10 @@
     case "`uname -r`" in
       ## Someone's system reports A.B8.05 for this.
       ## I wonder what other possibilities there are.
-      *.B8.* ) machine=hp9000s800 opsys=hpux8 ;;
-      *.08.* ) machine=hp9000s800 opsys=hpux8 ;;
-      *.09.* ) machine=hp9000s800 opsys=hpux9 ;;
-      *) machine=hp9000s800 opsys=hpux ;;
+      *.B8.* ) machine=hp800 opsys=hpux8 ;;
+      *.08.* ) machine=hp800 opsys=hpux8 ;;
+      *.09.* ) machine=hp800 opsys=hpux9 ;;
+      *) machine=hp800 opsys=hpux ;;
     esac
   ;;