# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1045814849 0
# Node ID 58d11522f3bcf4362989958f3f4d19b8acd7ae32
# Parent  675b86cf29fc69f7a0757db8af3a7b899fb2285c
Set new hpux10-20.h as "major" include for 10.20.

diff -r 675b86cf29fc -r 58d11522f3bc configure.in
--- a/configure.in	Fri Feb 21 08:05:55 2003 +0000
+++ b/configure.in	Fri Feb 21 08:07:29 2003 +0000
@@ -570,6 +570,9 @@
   hppa*-hp-hpux9* )
     machine=hp800 opsys=hpux9
   ;;
+  hppa*-hp-hpux10.2* )
+    machine=hp800 opsys=hpux10-20
+  ;;
   hppa*-hp-hpux10* )
     machine=hp800 opsys=hpux10
   ;;