# HG changeset patch
# User Roland McGrath <roland@gnu.org>
# Date 832719356 0
# Node ID a58e7fe45c0e9dcaeff70035db9aba870fa06c69
# Parent  07341673efa6a906580770f006382fd3aaf2e327
Restore `hp9k2[0-9][0-9] | hp9k31[0-9])' case line apparently accidentally
removed in the last change.

diff -r 07341673efa6 -r a58e7fe45c0e config.sub
--- a/config.sub	Tue May 21 18:09:43 1996 +0000
+++ b/config.sub	Tue May 21 22:55:56 1996 +0000
@@ -307,6 +307,7 @@
 		basic_machine=m68k-hp
 		os=-hpux
 		;;
+	hp9k2[0-9][0-9] | hp9k31[0-9])
 		basic_machine=m68000-hp
 		;;
 	hp9k3[2-9][0-9])