From: Marc Fehling Date: Tue, 23 Jul 2024 15:22:18 +0000 (+0200) Subject: Windows: Use GNU patch instead of Strawberry Perl patch. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=203450650b6780835936bdd1f7ef3c079d6ecb83;p=dealii.git Windows: Use GNU patch instead of Strawberry Perl patch. --- diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index ab07db3a73..2c2a3cd227 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -38,10 +38,14 @@ jobs: steps: - uses: actions/checkout@v4 + - name: set up path + # needed to use GNU patch instead of Strawberry Perl patch + run: | + echo "c:\program files\git\usr\bin" >> $env:GITHUB_PATH - name: info run: | + patch --version cmake --version - cmake -h wmic logicaldisk get size, freespace, caption - name: configure run: |