diff --git a/scripts/make_release b/scripts/make_release index 8d0dd3c..34c3a93 100755 --- a/scripts/make_release +++ b/scripts/make_release @@ -41,8 +41,8 @@ rel_id=$(http -b -j POST $URL/releases \ echo "RELEASE ID: $rel_id" -# echo "Waiting 10s for pypi to update..." -# for n in $(seq 10); do ; echo $n; sleep 1; done +echo "Waiting 10s for pypi to update..." +for n in $(seq 10); do ; echo $n; sleep 1; done pushd scripts ./update_get-pypr.sh