From 11e95dcc68173b40b92766e75db75fe8296e39fe Mon Sep 17 00:00:00 2001 From: rms Date: Thu, 19 May 1994 23:08:12 +0000 Subject: [PATCH] Fix unrecognized os error message. --- config.sub | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.sub b/config.sub index ffce559..00cd45d 100755 --- a/config.sub +++ b/config.sub @@ -596,7 +596,7 @@ case $os in ;; *) # 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 ;;