# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738360132 0
# Node ID 1f2e95b188ad3a7e91ed27e301a89e1dbe70b20a
# Parent  7b418622d32be9dbc164334e1081a9b00c1f0bbd
At the end, use `set --', not `set -'.
Delete spurious `.h' in hpux alternatives.

diff -r 7b418622d32b -r 1f2e95b188ad configure1.in
--- a/configure1.in	Tue May 25 20:00:53 1993 +0000
+++ b/configure1.in	Tue May 25 20:02:12 1993 +0000
@@ -519,16 +519,16 @@
 
   ## HP 9000 series 700 and 800, running HP/UX
   hppa1.0-hp-hpux* )
-    machine=hp9000s800 opsys=hpux.h
+    machine=hp9000s800 opsys=hpux
   ;;
   hppa1.1-hp-hpux* )
-    machine=hp9000s800 opsys=hpux8.h
+    machine=hp9000s800 opsys=hpux8
   ;;
   hppa*-hp-hpux* )
     ## Cross-compilation?  Nah!
     case "`uname -m`" in
-      9000/8?? ) machine=hp9000s800 opsys=hpux.h ;;
-      9000/7?? ) machine=hp9000s800 opsys=hpux8.h ;;
+      9000/8?? ) machine=hp9000s800 opsys=hpux ;;
+      9000/7?? ) machine=hp9000s800 opsys=hpux8 ;;
     esac
   ;;
 
@@ -1101,6 +1101,6 @@
 
 ### Restore the arguments to this script, so autoconf can record them
 ### in the config.status file.
-set - ${arguments}
+set -- ${arguments}
 ]
 AC_OUTPUT(Makefile)