# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769388892 0
# Node ID 74474187ad7869ee46d2fc7cd7101ea564407aca
# Parent  040547adfab2c88d2a03c220246ee77276f7043f
Fix unrecognized os error message.

diff -r 040547adfab2 -r 74474187ad78 config.sub
--- 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
 		;;