From: Marc Fehling <mafehling.git@gmail.com>
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=refs%2Fpull%2F17363%2Fhead;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: |