push.yml: ensure that GCC build gets tested

stephengold · Feb 5, 2025 · 839123e · 839123e
1 parent a6bb824
commit 839123e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -37,7 +37,7 @@ jobs:
       - uses: gradle/actions/setup-gradle@v4
       - uses: gradle/actions/wrapper-validation@v4
       - run: |
-          ./gradlew -Pbt=Debug -Pflavor=Sp -Ptarget=Linux64 run build install \
+          ./gradlew -Pbt=Debug -Pflavor=Sp -Ptarget=Linux64 -Ptool=gcc run build install \
             --console=plain \
             -PsigningKeyEncoded='${{ secrets.SIGNING_KEY_ENCODED }}' \
             -PsigningPassword='${{ secrets.SIGNING_PASSWORD }}'