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 /tcwg-benchmark-results-compare.sh | |
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
Diffstat (limited to 'tcwg-benchmark-results-compare.sh')
0 files changed, 0 insertions, 0 deletions