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 | |
parent | 4bb3046f0b139337a00e9182c9b47d1a3f8f8bb3 (diff) | |
download | qpdf-00bd6a271da813ca3a8f297ee37a337f8adb5ab6.tar.zst |
Streamline Windows release process
Diffstat (limited to 'make_windows_releases')
-rwxr-xr-x | make_windows_releases | 31 |
1 files changed, 26 insertions, 5 deletions
diff --git a/make_windows_releases b/make_windows_releases index 2b7dd78c..2cd7afd2 100755 --- a/make_windows_releases +++ b/make_windows_releases @@ -11,6 +11,21 @@ else wordsize=32 fi +if [ "$wordsize" = 32 ]; then + if [ ! -f win.64 ]; then + echo "Waiting for win.64 to appear" + while [ ! -f win.64 ]; do + sleep 5 + done + fi +else + rm -f win.32 win.64 + echo '' + echo "You may now start $0 in a 32-bit window." + echo '' + sleep 5 +fi + set -e set -x cwd=`pwd` @@ -28,10 +43,16 @@ make -j8 make check install make distclean +touch win.$wordsize + set +x -echo '' -echo "Finished builds for $wordsize. If not done already, rerun this" -echo "in a" `expr 96 - $wordsize` "environment." -echo 'Then run "./make_windows_releases-finish".' -echo '' +echo "Finished builds for $wordsize." + +if [ "$wordsize" = 64 ]; then + echo "If not done already, rerun this in a "`expr 96 - $wordsize`"-bit environment." + echo '' + echo 'Running "./make_windows_releases-finish".' + echo '' + ./make_windows_releases-finish +fi |