# HG changeset patch
# User David J. MacKenzie <djm@gnu.org>
# Date 847824730 0
# Node ID 09234d82799a26a3de3f801594f3c608827fbe61
# Parent  f1f1c509a8f2739548c49704aa78e5fb4ecadb63
cosmetic tweaks

diff -r f1f1c509a8f2 -r 09234d82799a config.guess
--- a/config.guess	Tue Nov 12 07:12:24 1996 +0000
+++ b/config.guess	Tue Nov 12 18:52:10 1996 +0000
@@ -564,7 +564,7 @@
 #endif
   int version;
   version=`(hostinfo | sed -n 's/.*NeXT Mach \([0-9]*\).*/\1/p') 2>/dev/null`;
-  printf ("%s-next-nextstep%s\n", __ARCHITECTURE__,  version==2 ? "2" : "3");
+  printf ("%s-next-%s%d\n", __ARCHITECTURE__, version);
   exit (0);
 #endif