Change MingW Makefiles.

relic-toolkit · May 9, 2024 · e66a45a · e66a45a
1 parent 57b01bb
commit e66a45a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
@@ -70,7 +70,7 @@ jobs:
         run: |
           mkdir build
           cd build
-          cmake -DSEED= -DBENCH=0 -DARITH=gmp -G "MinGW Makefiles" ..
+          cmake -DSEED= -DBENCH=0 -DARITH=gmp -G "Unix Makefiles" ..
 
       - name: Run CMake (standard)
         if: ${{ !(runner.os == 'Windows') }}