gnu/config
1
0
Fork 0
mirror of git://git.savannah.gnu.org/config.git synced 2025-06-08 07:20:21 +12:00
Code Issues Packages Projects Releases Wiki Activity

Fix unrecognized os error message.

Browse Source
This commit is contained in:
rms 1994-05-19 23:08:12 +00:00
parent 000798a3ef
commit 11e95dcc68
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
config.sub vendored
View File

@ -596,7 +596,7 @@ case $os in
;; ;;
*) *)
# Get rid of the `-' at the beginning of $os. # 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 echo Invalid configuration \`$1\': system \`$os\' not recognized 1>&2
exit 1 exit 1
;; ;;