changeset 7652:416aa63b8587

New config hppa*-hp-hpux9shr*.
author Richard M. Stallman <rms@gnu.org>
date Mon, 23 May 1994 07:08:20 +0000
parents 1569a13efdcd
children ff5fcf65ceaa
files configure1.in
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Mon May 23 06:47:51 1994 +0000
+++ b/configure1.in	Mon May 23 07:08:20 1994 +0000
@@ -690,6 +690,9 @@
   hppa*-hp-hpux9* )
     machine=hp800 opsys=hpux9
   ;;
+  hppa*-hp-hpux9shr* )
+    machine=hp800 opsys=hpux9shr
+  ;;
 
   ## HP 9000 series 700 and 800, running HP/UX
   hppa*-hp-hpux* )