From ce9a495f3c62e82df21b7a9beae0129fcc2320e7 Mon Sep 17 00:00:00 2001 From: Guus Sliepen Date: Wed, 1 Apr 2026 16:23:42 +0200 Subject: [PATCH] Fix building muon in the CI pipeline --- .ci/muon/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.ci/muon/run.sh b/.ci/muon/run.sh index bba42cf7..1fcaa694 100755 --- a/.ci/muon/run.sh +++ b/.ci/muon/run.sh @@ -34,8 +34,8 @@ header 'Fetch and build muon' git clone --depth=1 $git_muon ~/muon pushd ~/muon ./bootstrap.sh build -./build/muon setup build -samu -C build +./build/muon-bootstrap setup build +./build/muon-bootstrap -C build samu ./build/muon -C build install popd -- 2.47.3