summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2021-08-04 12:51:11 +0000
committerMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2021-08-04 13:21:49 +0000
commit9ed16168784d192c97a1afbbcc5b5d8944290c02 (patch)
treeca7082176914143bf5c07d57a29680ff74497b11
parent1579de7f82e0feb59c74710b9059bd5ac7d59378 (diff)
downloadjenkins-scripts-9ed16168784d192c97a1afbbcc5b5d8944290c02.tar.gz
round-robin.sh (build_abe): Don't build documentation
To avoid building documentation we need to both tell ABE to not explicitly build docs, and to create a NOP wrapper for makeinfo. Change-Id: I97481d8efd9be967d94415d7c923f4a05de3f183
-rw-r--r--round-robin.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/round-robin.sh b/round-robin.sh
index 5015c716..f6bc2445 100644
--- a/round-robin.sh
+++ b/round-robin.sh
@@ -205,6 +205,14 @@ EOF
chmod +x "$(pwd)/bin/g++"
cp "$(pwd)/bin/g++" "$(pwd)/bin/c++"
+ # Disable building documention. Apparently, this is one of
+ # the most popular ways.
+ cat > "$(pwd)/bin/makeinfo" <<EOF
+#!/bin/sh
+exec true
+EOF
+ chmod +x "$(pwd)/bin/makeinfo"
+
PATH=$(pwd)/bin:$PATH
export PATH
@@ -398,6 +406,7 @@ build_abe ()
$action \
$target_opt \
--extraconfigdir config/master \
+ --disable make_docs \
$custom_abe_src_opt \
$stage &
res=0 && wait $! || res=$?