]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Windows: Use GNU patch instead of Strawberry Perl patch. 17363/head
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 23 Jul 2024 15:22:18 +0000 (17:22 +0200)
committerMarc Fehling <mafehling.git@gmail.com>
Tue, 23 Jul 2024 16:11:38 +0000 (18:11 +0200)
.github/workflows/windows.yml

index ab07db3a7387dd9b63e472857919e6884b5ae422..2c2a3cd2273f51ac0c7d4c8e00976b87e86e3eae 100644 (file)
@@ -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: |

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.