# HG changeset patch # User Eli Zaretskii # Date 1004548814 0 # Node ID 693f01395e8e47ca4bb93e5bdb9087c35f849a1d # Parent 4ce7861c618173846249189ab4a6ea252449d26d New entry for HP/UX-11. diff -r 4ce7861c6181 -r 693f01395e8e configure.in --- a/configure.in Wed Oct 31 15:21:11 2001 +0000 +++ b/configure.in Wed Oct 31 17:20:14 2001 +0000 @@ -524,9 +524,12 @@ hppa*-hp-hpux9* ) machine=hp800 opsys=hpux9 ;; - hppa*-hp-hpux1[0-9]* ) + hppa*-hp-hpux10* ) machine=hp800 opsys=hpux10 ;; + hppa*-hp-hpux1[1-9]* ) + machine=hp800 opsys=hpux11 + ;; ## HP 9000 series 700 and 800, running HP/UX hppa*-hp-hpux* )