# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 816472246 0
# Node ID 85cc1439aee7a056a4afb59be72f65f737823c00
# Parent  0e1539fdf37cde937219445f12295498032cba45
(hppa*-hp-hpux10*): Use s/hpux10.h.

diff -r 0e1539fdf37c -r 85cc1439aee7 configure.in
--- a/configure.in	Wed Nov 15 18:58:57 1995 +0000
+++ b/configure.in	Wed Nov 15 21:50:46 1995 +0000
@@ -385,7 +385,7 @@
     machine=hp800 opsys=hpux9
   ;;
   hppa*-hp-hpux10* )
-    machine=hp800 opsys=hpux9shr
+    machine=hp800 opsys=hpux10
   ;;
 
   ## HP 9000 series 700 and 800, running HP/UX