From e66a45addffa9abd210396ecff86f22c62bb0746 Mon Sep 17 00:00:00 2001
From: "Diego F. Aranha" <dfaranha@gmail.com>
Date: Thu, 9 May 2024 11:42:05 +0200
Subject: [PATCH] Change MingW Makefiles.

---
 .github/workflows/gmp.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
index aef694382..147c5bbb0 100644
--- 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') }}