language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-07 13:15:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

build: update cargo_publish.{bat, sh}

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-04-11 22:07:53 +09:00
parent 72b204354d
commit 2f0c86a88e
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
cargo_publish.bat
View file

@ -13,6 +13,9 @@ if %~dp0 == C:%homepath%\GitHub\erg\ (
cd ../erg_compiler
echo publish erg_compiler ...
cargo publish
cd ../erg_linter
echo publish erg_linter ...
cargo publish
cd ../els
echo publish els ...
cargo publish

2
cargo_publish.sh
View file

@ -6,6 +6,8 @@ cd ../erg_parser
cargo publish
cd ../erg_compiler
cargo publish
cd ../erg_linter
cargo publish
cd ../els
cargo publish
cd ../../