From 02b9692be6f04c405907ee73a7d7904cba57b628 Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Fri, 6 Dec 2024 08:18:22 +0100
Subject: [PATCH] Just pre-defining platform is enough

---
 .github/workflows/release.yml | 2 +-
 build/build.xml               | 7 -------
 2 files changed, 1 insertion(+), 8 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 6a8d1e4f1..afc1ebc08 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -100,7 +100,7 @@ jobs:
           p12-file-base64: ${{ secrets.CERTIFICATES_P12 }}
           p12-password: ${{ secrets.CERTIFICATES_P12_PASSWORD }}
       - name: Build Release
-        run: ant -noinput -buildfile build/build.xml ${{ matrix.os_prefix }}-dist -Dversion="${{ needs.version.outputs.version }}" -Dplatform.override=${{ matrix.os_prefix }}
+        run: ant -noinput -buildfile build/build.xml ${{ matrix.os_prefix }}-dist -Dversion="${{ needs.version.outputs.version }}" -Dplatform=${{ matrix.os_prefix }}
         env:
           PROCESSING_APP_PASSWORD: ${{ secrets.PROCESSING_APP_PASSWORD }}
           PROCESSING_APPLE_ID: ${{ secrets.PROCESSING_APPLE_ID }}
diff --git a/build/build.xml b/build/build.xml
index 273f028f1..45d078b45 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -9,13 +9,6 @@
     </classpath>
   </taskdef>
 
-  <property name="platform.override" value="" description="Override OS (windows/linux/mac)" />
-
-  <!-- First check if we have an override -->
-  <condition property="platform" value="${platform.override}">
-    <isset property="platform.override"/>
-  </condition>
-
   <!-- Only do OS detection if platform isn't already set by override -->
   <condition property="platform" value="macos">
     <and>