Skip to content

Commit 91b16fc

Browse files
committed
build-muon: switch to self hosted repo
The main repo tends to break. Let's use our own repo. Signed-off-by: Daniel Wagner <[email protected]>
1 parent 6891b95 commit 91b16fc

1 file changed

Lines changed: 6 additions & 1 deletion

File tree

scripts/build-muon.sh

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,11 @@
33
BUILDDIR="$(pwd)/.build"
44
CC=${CC:-"gcc"}
55

6+
#muon_repo=https://git.sr.ht/~lattis/muon
7+
#muon_branch=master
8+
muon_repo=https://github.com/igaw/muon.git
9+
muon_branch=fix-ext-samurai
10+
611
tools_build_samurai() {
712
mkdir -p "${BUILDDIR}"/build-tools
813
git clone --depth 1 https://github.com/michaelforney/samurai.git \
@@ -19,7 +24,7 @@ tools_build_samurai() {
1924

2025
tools_build_muon() {
2126
mkdir -p "${BUILDDIR}"/build-tools
22-
git clone --depth 1 https://git.sr.ht/~lattis/muon \
27+
git clone --depth 1 --branch "${muon_branch}" "${muon_repo}" \
2328
"${BUILDDIR}/build-tools/muon"
2429
pushd "${BUILDDIR}/build-tools/muon" || exit 1
2530

0 commit comments

Comments
 (0)