diff options
| author | DJ Delorie <dj@delorie.com> | 2001-02-07 01:06:43 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2001-02-07 01:06:43 +0000 |
| commit | b18260f61d02080085fadf74728ad24922660343 (patch) | |
| tree | d837981dd80c27f139cf149e11f749f4b37665bb /configure | |
| parent | 158dd15f070d4302a5bab61d4e16d0b7cb4a152a (diff) | |
| download | gdb-b18260f61d02080085fadf74728ad24922660343.tar.gz | |
* configure: Output host type to stdout, not stderr.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index dfc176263cf..ae89f40c831 100755 --- a/configure +++ b/configure @@ -450,7 +450,7 @@ case "${fatal}" in fi ;; esac - echo "Configuring for a ${host_alias} host." 1>&2 + echo "Configuring for a ${host_alias} host." arguments="--host=$host_alias $arguments" else echo 'Config.guess failed to determine the host type. You need to specify one.' 1>&2 |