From 1d051e2b90414b22a737770e51b04c10bdd4dec6 Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Thu, 19 May 1994 23:08:12 +0000 Subject: [PATCH] Fix unrecognized os error message. --- config.sub | 2 +- lib/config.sub | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/config.sub b/config.sub index ffce5595..00cd45da 100644 --- 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 ;; diff --git a/lib/config.sub b/lib/config.sub index ffce5595..00cd45da 100644 --- a/lib/config.sub +++ b/lib/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 ;; -- 2.43.5