diff options
author | Jay Berkenbilt <ejb@ql.org> | 2018-02-19 02:57:19 +0100 |
---|---|---|
committer | Jay Berkenbilt <ejb@ql.org> | 2018-02-19 04:39:00 +0100 |
commit | 00bd6a271da813ca3a8f297ee37a337f8adb5ab6 (patch) | |
tree | ec4e40ca0bcd9c1b81568eaab2fc77dbf9b14f11 /make_windows_releases-finish | |
parent | 4bb3046f0b139337a00e9182c9b47d1a3f8f8bb3 (diff) | |
download | qpdf-00bd6a271da813ca3a8f297ee37a337f8adb5ab6.tar.zst |
Streamline Windows release process
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` |