comparison config.sub @ 7575:74474187ad78

Fix unrecognized os error message.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 1994 23:08:12 +0000
parents 5399c72e0dde
children 9c97c94610f2
comparison
equal deleted inserted replaced
7574:040547adfab2 7575:74474187ad78
594 ;; 594 ;;
595 -none) 595 -none)
596 ;; 596 ;;
597 *) 597 *)
598 # Get rid of the `-' at the beginning of $os. 598 # Get rid of the `-' at the beginning of $os.
599 os=`echo $1 | sed 's/[^-]*-//'` 599 os=`echo $os | sed 's/[^-]*-//'`
600 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2 600 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
601 exit 1 601 exit 1
602 ;; 602 ;;
603 esac 603 esac
604 else 604 else