mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-14 03:35:37 +02:00
Code Issues Wiki Activity

Change way to skip building of gdb doc

Browse source 
Instead of modifying the source files of the documentation, it's cleaner
to replace the invocation to makeinfo to invoke "true". This will skip
building of all the docs.

Change-Id: I33a8ba7e1932433de48ab98d6cda3fda0bb09143
Signed-off-by: Simon Marchi <simon.marchi@polymtl.ca>
This commit is contained in:
Simon Marchi 2015-06-22 15:33:43 -04:00
parent 13978c1567
commit e634076cdf
1 changed files with 3 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
View file

@ -143,15 +143,6 @@ function fixup_gdb() {
echo_header "Fixing up gdb ${version}"
# Disable building of the doc, which fails anyway with older gdbs and
# newer makeinfos.
${dryrun} find ${build} -name '*.texinfo' -exec cp "/dev/null" "{}" \;
# This file tries to include a non-existent file.
if [ "$version" = "7.2" ]; then
${dryrun} cp "/dev/null" "${build}/etc/standards.texi"
fi
# glibc or the kernel changed the signal API at some point
case "$version" in
"6.6"|"6.7.1"|"6.8"|"7.0.1"|"7.1"|"7.2"|"7.3.1"|"7.4.1")
@ -224,7 +215,9 @@ function make_install_gdb() {
${dryrun} pushd "${install}"
${dryrun} make install
# Disable building of the doc, which fails anyway with older gdbs and
# newer makeinfos.
${dryrun} make install MAKEINFO=true
${dryrun} popd
}