changeset 7575:74474187ad78

Fix unrecognized os error message.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 1994 23:08:12 +0000
parents 040547adfab2
children ca650a2739ba
files config.sub
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/config.sub	Thu May 19 23:06:47 1994 +0000
+++ b/config.sub	Thu May 19 23:08:12 1994 +0000
@@ -596,7 +596,7 @@
 		;;
 	*)
 		# Get rid of the `-' at the beginning of $os.
-		os=`echo $1 | sed 's/[^-]*-//'`
+		os=`echo $os | sed 's/[^-]*-//'`
 		echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
 		exit 1
 		;;