From 9ed16168784d192c97a1afbbcc5b5d8944290c02 Mon Sep 17 00:00:00 2001
From: Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org>
Date: Wed, 4 Aug 2021 12:51:11 +0000
Subject: 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
---
 round-robin.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

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=$?
-- 
cgit v1.2.3