commit 0362f806ba98ad9eff40152fb5c98c603b1cfd71 parent 8c018317b58ff5374e3212d8b316be38ecb422af Author: Szymon Mikulicz <szymon.mikulicz@posteo.net> Date: Tue, 8 Sep 2026 13:40:59 +0200 Pull in bootstrap Diffstat:
| M | bootstrap.sh | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bootstrap.sh b/bootstrap.sh @@ -18,13 +18,13 @@ ROOTDIR="$(mktemp -d)" pushd "$SRCDIR" echo "[1/9] Cloning janet repo" -[ -d janet ] || git clone https://github.com/janet-lang/janet +[ -d janet ] && git -C janet pull || git clone https://github.com/janet-lang/janet echo "[2/9] Building janet" PREFIX="" DESTDIR="$ROOTDIR" make -C janet -j$(nproc) install echo "[3/9] Cloning jpm repo" -[ -d jpm ] || git clone https://github.com/janet-lang/jpm +[ -d jpm ] && git -C jpm pull || git clone https://github.com/janet-lang/jpm pushd jpm