changeset 16571:09234d82799a

cosmetic tweaks
author David J. MacKenzie <djm@gnu.org>
date Tue, 12 Nov 1996 18:52:10 +0000
parents f1f1c509a8f2
children 6a597563d83e
files config.guess
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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