From a8fdfc16fe4db5da31744bce376a50ef353aaa19 Mon Sep 17 00:00:00 2001
From: Tokunori Ikegami <ikegami.t@gmail.com>
Date: Tue, 12 Dec 2023 02:05:42 +0900
Subject: [PATCH] build: Disable muon bestline for CentOS 7 build error

Signed-off-by: Tokunori Ikegami <ikegami.t@gmail.com>
---
 scripts/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/build.sh b/scripts/build.sh
index a9cb0af4..470f39a8 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -169,6 +169,7 @@ tools_build_muon() {
         -Dprefix="${TOOLDIR}"                           \
         -Ddocs=disabled                                 \
         -Dsamurai=disabled                              \
+        -Dbestline=disabled                             \
         "${TOOLDIR}/build-muon"
     "${SAMU}" -C "${TOOLDIR}/build-muon"
     MUON="${BUILDDIR}/build-tools/.build-muon/muon"
-- 
2.50.1