Fix publish.sh

This commit is contained in:
Markus Westerlind 2020-09-04 23:48:25 +02:00
parent a8f17e6718
commit 2afb8ea3d6

View File

@ -36,7 +36,7 @@ function publish {
}
publish lalrpop-util
sleep 10 # Wait for lalrpop-util to be available on crates.io
sleep 25 # Wait for lalrpop-util to be available on crates.io
publish lalrpop
git tag $VERSION