Skip to content

Commit

Permalink
tools: fix update-ada script
Browse files Browse the repository at this point in the history
PR-URL: #46550
Backport-PR-URL: #47435
Reviewed-By: James M Snell <[email protected]>
Reviewed-By: Colin Ihrig <[email protected]>
Reviewed-By: Gerhard Stöbich <[email protected]>
Reviewed-By: Tiancheng "Timothy" Gu <[email protected]>
  • Loading branch information
anonrig authored and danielleadams committed Apr 12, 2023
1 parent e926354 commit 958da45
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion tools/dep_updaters/update-ada.sh
100644 → 100755
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,6 @@ echo "Fetching ada source archive..."
curl -sL -o "$ADA_ZIP" "https://github.com/ada-url/ada/releases/download/$ADA_REF/singleheader.zip"
unzip "$ADA_ZIP"
rm "$ADA_ZIP"
rm ./*_demo.cpp

curl -sL -o "$ADA_LICENSE" "https://raw.githubusercontent.com/ada-url/ada/HEAD/LICENSE-MIT"

Expand Down

0 comments on commit 958da45

Please sign in to comment.