diff options
author | Christophe Lyon <christophe.lyon@linaro.org> | 2017-01-04 23:34:24 +0100 |
---|---|---|
committer | Christophe Lyon <christophe.lyon@linaro.org> | 2017-01-10 14:50:18 +0000 |
commit | c1ae5a2fce5023cfb42f141dc9a5aacd5c2f3482 (patch) | |
tree | 78a06a9ea88313bf18d728666760cefd54fc902e /host.conf.in | |
parent | ee85c0d772ef6ad95129516fd34b372278ca0f3b (diff) |
Fix make_docs for gcc-4.9.
GCC's configure detects makeinfo version by running
${MAKEINFO} --version. In case of failure, it uses
its 'missing' script as prefix when calling makeinfo
to provide some hints to help debug problems.
We used to force MAKEINFO=echo in stage1_flags,
which implied using 'missing' since 'echo --version'
does not return a makeinfo-like version number.
The version of 'missing' shipped with gcc-5/gcc-6
tries to call the intended command, and nothing
more if this succeeds.
With gcc-4.9, it would display an error message
instead, and fail.
That's why our gcc-4.9 builds fail if we don't
use -disable make_docs when calling abe.
This patch removes this undesirable override.
The build time of gcc-6 with this patch
and make_docs enabled is shorter than without
this patch (measured 21 minutes vs 23).
Disabling make_docs saves about 4 minutes.
Change-Id: If4e2ff388e52bc876a7999ea21936dc837a7b442
Diffstat (limited to 'host.conf.in')
-rw-r--r-- | host.conf.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/host.conf.in b/host.conf.in index 5e2aba08..4e5cea3c 100644 --- a/host.conf.in +++ b/host.conf.in @@ -37,5 +37,4 @@ makeversion=@MAKEVERSION@ wget_bin=@WGET@ fileserver=@FILESERVER@ bash_shell=@BASH@ -MAKEINFO=@MAKEINFO@ NEWWORKDIR=@NEWWORKDIR@ |