# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 762113201 0
# Node ID 3426f36178e51e1a5e35691aa1c93d75d09c5d62
# Parent  0021cbdc591b9fcdb0143115b5a0134b1805a2e3
Don't force os=-hpux for hp9k2... and hp9k3...

diff -r 0021cbdc591b -r 3426f36178e5 config.sub
--- a/config.sub	Thu Feb 24 12:54:54 1994 +0000
+++ b/config.sub	Thu Feb 24 18:06:41 1994 +0000
@@ -257,11 +257,9 @@
 		;;
 	hp9k2[0-9][0-9] | hp9k31[0-9])
 		basic_machine=m68000-hp
-		os=-hpux
 		;;
 	hp9k3[2-9][0-9])
 		basic_machine=m68k-hp
-		os=-hpux
 		;;
 	hp9k7[0-9][0-9] | hp7[0-9][0-9] | hp9k8[0-9]7 | hp8[0-9]7)
 		basic_machine=hppa1.1-hp