Fix unrecognized os error message.
authorRichard Stallman <rms@gnu.org>
Thu, 19 May 1994 23:08:12 +0000 (23:08 +0000)
committerRichard Stallman <rms@gnu.org>
Thu, 19 May 1994 23:08:12 +0000 (23:08 +0000)
config.sub
lib/config.sub

index ffce559..00cd45d 100644 (file)
@@ -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
                ;;
index ffce559..00cd45d 100644 (file)
@@ -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
                ;;