Fixed CI scripts on Windows
For an unknown reason, unzip on Windows reports status code 50
(presumably "the disk is (or was) full during extraction.") even
if there's plenty of space. To workaround this, simply ignore
status code 50 on Windows. Sigh.
--- a/ci/ci-common.sh Mon Nov 09 00:38:23 2015 +0000
+++ b/ci/ci-common.sh Mon Nov 23 11:14:30 2015 +0100
@@ -36,6 +36,14 @@
*)
;;
esac
+ # This is weird, but on Windows, sometimes I got
+ # exit code 50 from unzip even though there's plenty
+ # of space. To workaround, simply ignore it here, sigh.
+ if [ "$OS" == "Windows_NT" ]; then
+ if [ "$status" == "50" ]; then
+ status=0
+ fi
+ fi
rm -f "$file"
popd
else