ci/build.sh: add support for Cygwin

The /etc/os-release file does not exist on Cygwin so we use the more
reliable built-in bash variable OSTYPE instead.

diff --git a/ci/build.sh b/ci/build.sh
index 2c936187f2b147b90992fa9645c266a407b6bf9f..3c8e9eef854929cabeb1dd0fa55464bac988ac0e 100755 (executable)
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -43,6 +43,8 @@ if [ "${build_system}" = "cmake" ]; then
     elif [ "${OSTYPE}" = "msys" ]; then
         mv build/*.zip ${DIR}/os/${ARCH}/
         mv build/*.exe ${DIR}/os/${ARCH}/
+    elif [[ "${OSTYPE}" =~ "cygwin" ]]; then
+        mv build/*.zip ${DIR}/os/${ARCH}/
     else
         echo "Error: OSTYPE=${OSTYPE} is unknown" >&2
         exit 1