# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 916296088 0
# Node ID 4c04dff8f129e8befbb2ce4b0e096d3cecefffe1
# Parent  89706001ab78f9771d8a2fef92b1a34dccd118c2
Match HP 9000/800 machine.

diff -r 89706001ab78 -r 4c04dff8f129 config.guess
--- a/config.guess	Thu Jan 14 01:20:35 1999 +0000
+++ b/config.guess	Thu Jan 14 06:41:28 1999 +0000
@@ -368,7 +368,7 @@
 	case "${UNAME_MACHINE}" in
 	    9000/31? )            HP_ARCH=m68000 ;;
 	    9000/[34]?? )         HP_ARCH=m68k ;;
-	    9000/6?? | 9000/7?? | 9000/80[24] | 9000/8?[13679] | 9000/892 )
+	    9000/6?? | 9000/7?? | 9000/80[024] | 9000/8?[13679] | 9000/892 )
               sed 's/^              //' << EOF >dummy.c
               #include <stdlib.h>
               #include <unistd.h>