We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4c76347 commit cc0d211Copy full SHA for cc0d211
2 files changed
scripts/get-mx-repo.bash
@@ -21,7 +21,7 @@ main () {
21
rm -rf mx
22
23
# mx is needed for building graal repo
24
- git clone --depth=1 --branch 7.68.11 https://github.com/graalvm/mx
+ git clone --depth=1 https://github.com/graalvm/mx
25
cd mx
26
git config user.name gautham
27
git config user.email gautham@elide.dev
scripts/patch-cosmo-repo.bash
@@ -22,7 +22,7 @@ main () {
if [ ! -d "cosmopolitan" ]; then
rm -rf cosmopolitan
- git clone --depth=1 --branch=header-stubs https://github.com/ahgamut/cosmopolitan
+ git clone --depth=1 https://github.com/jart/cosmopolitan
fi
cd cosmopolitan
28
ls /proc/sys/fs/binfmt_misc/
0 commit comments