diff options
Diffstat (limited to 'make_windows_releases-finish')
| -rwxr-xr-x | make_windows_releases-finish | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make_windows_releases-finish b/make_windows_releases-finish index 3ab5867d..536bfa83 100755 --- a/make_windows_releases-finish +++ b/make_windows_releases-finish @@ -4,6 +4,9 @@ if [ ! -d external-libs ]; then exit 2 fi +echo "Waiting for win.32 and win.64" +while [ ! -f win.32 ] || [ ! -f win.64 ]; do sleep 1; done + set -e set -x cwd=`pwd` |