From 280ec6c2d45497810dc0c4327472bf2d358f7cd3 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 28 Apr 1994 05:19:08 +0000
Subject: [PATCH] Use m/hp800.h in place of m/hp9000s800.h.

---
 configure1.in | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/configure1.in b/configure1.in
index 85699d8b7df..40046c2e08d 100755
--- a/configure1.in
+++ b/configure1.in
@@ -676,13 +676,13 @@ case "${canonical}" in
 
   ## 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 "${canonical}" in
     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
   ;;
 
-- 
2.39.5