diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-08-04 12:51:11 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-08-04 13:21:49 +0000 |
| commit | 9ed16168784d192c97a1afbbcc5b5d8944290c02 (patch) | |
| tree | ca7082176914143bf5c07d57a29680ff74497b11 | |
| parent | 1579de7f82e0feb59c74710b9059bd5ac7d59378 (diff) | |
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.sh | 9 |
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=$? |