changeset 13559:85cc1439aee7

(hppa*-hp-hpux10*): Use s/hpux10.h.
author Richard M. Stallman <rms@gnu.org>
date Wed, 15 Nov 1995 21:50:46 +0000
parents 0e1539fdf37c
children 3974e093d47f
files configure.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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