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

Update cargo_publish.bat

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-01 14:45:31 +09:00
parent cbb2a8c211
commit a16d29c890
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
cargo_publish.bat
View file

@ -8,15 +8,15 @@ if %~dp0 == C:%homepath%\GitHub\erg\ (
cd ../erg_parser
echo publish erg_parser ...
cargo publish
timeout 10
timeout 12
cd ../erg_type
echo publish erg_type ...
cargo publish
timeout 10
timeout 12
cd ../erg_compiler
echo publish erg_compiler ...
cargo publish
timeout 10
timeout 12
cd ../../
cargo publish
echo completed