# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 888447036 0
# Node ID 5cf1e81b6381ec575cf377bdf9bb557fb067367d
# Parent  3a8734a5536cdb6467ed17e8308f7800359f3b6c
(hppa*-hp-hpux*): Use hpux10 by default.

diff -r 3a8734a5536c -r 5cf1e81b6381 configure.in
--- a/configure.in	Wed Feb 25 22:49:45 1998 +0000
+++ b/configure.in	Wed Feb 25 22:50:36 1998 +0000
@@ -483,7 +483,7 @@
       *.B8.* ) machine=hp800 opsys=hpux8 ;;
       *.08.* ) machine=hp800 opsys=hpux8 ;;
       *.09.* ) machine=hp800 opsys=hpux9 ;;
-      *) machine=hp800 opsys=hpux ;;
+      *) machine=hp800 opsys=hpux10 ;;
     esac
   ;;
   hppa*-*-nextstep* )