diff options
| author | Philipp Hörist <philipp@hoerist.com> | 2023-04-09 14:10:37 +0300 |
|---|---|---|
| committer | Philipp Hörist <philipp@hoerist.com> | 2023-04-09 14:12:41 +0300 |
| commit | 7980ed6c2e0147f2d3231f63c48274226b29e09c (patch) | |
| tree | 62119bb81f7c7b3dd543be7aaf4baa177d70baa9 /win | |
| parent | 5ec325552e9fb7e6733fb694a805a1f361a79a4c (diff) | |
ci: Windows: Remove support for mingw32 in build script
Diffstat (limited to 'win')
| -rwxr-xr-x | win/_base.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/win/_base.sh b/win/_base.sh index ba42b7352..eb793de4e 100755 --- a/win/_base.sh +++ b/win/_base.sh @@ -10,26 +10,20 @@ set -e DIR="$( cd "$( dirname "$0" )" && pwd )" cd "${DIR}" -# CONFIG START MAJOR_PY_VERSION="3" MINOR_PY_VERSION="10" PYTHON_VERSION="${MAJOR_PY_VERSION}.${MINOR_PY_VERSION}" BUILD_VERSION="0" -# CONFIG END - MISC="${DIR}"/misc PYTHON_ID="python${MAJOR_PY_VERSION}" -MINGW="mingw32" +MINGW="mingw64" QL_VERSION="0.0.0" QL_VERSION_DESC="UNKNOWN" function set_arch { ARCH="$1" - if [ "$1" == "x86_64" ]; then - MINGW="mingw64" - fi } function set_build_root { |