Skip to content

Commit

Permalink
actually we don't need curl anymore
Browse files Browse the repository at this point in the history
  • Loading branch information
gwenzek committed Sep 13, 2024
1 parent b60e4eb commit 9cff3d1
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 3 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
zml
zml/
WORKSPACE/

Expand Down
3 changes: 0 additions & 3 deletions 01-PREPARE-FOR-EDITS.sh
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,6 @@ else
mkdir $WORKSPACE
fi

curl https://ziglang.org/documentation/0.13.0/std/main.wasm -s -o WORKSPACE/main.wasm
curl https://ziglang.org/documentation/0.13.0/std/main.js -s -o WORKSPACE/main.js

# link-in the assets and layouts
for d in assets layouts zig_docs; do
if [ ! -h ${WORKSPACE}/$d ] ; then
Expand Down

0 comments on commit 9cff3d1

Please sign in to comment.