build: Disable muon bestline for CentOS 7 build error

Signed-off-by: Tokunori Ikegami <ikegami.t@gmail.com>

diff --git a/scripts/build.sh b/scripts/build.sh
index a9cb0af4e80c49121dea43a5c34b7f458974a53e..470f39a88567c4c53ef5730cbaa80ed7f9648e48 100755 (executable)
--- 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"