From dbe85dd13b67f3114dba3126241c4f998f55524f Mon Sep 17 00:00:00 2001
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
Date: Thu, 20 Jun 2024 16:41:18 +0200
Subject: [PATCH] completely remove build.vc12 files

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 05a72f2b..a67d4713 100644
--- a/configure.ac
+++ b/configure.ac
@@ -689,7 +689,7 @@ CU_CHECK_CUDA
 LIBS="$LIBS $GWLIB"
 
 GMP_FINISH
-AC_CONFIG_FILES([Makefile x86_64/Makefile powerpc64/Makefile aprtcle/Makefile build.vc12/Makefile build.vc12/assembler/Makefile build.vc12/ecm/Makefile build.vc12/ecm_gpu/Makefile build.vc12/libecm/Makefile build.vc12/libecm_gpu/Makefile build.vc12/tune/Makefile build.vc12/bench_mulredc/Makefile])
+AC_CONFIG_FILES([Makefile x86_64/Makefile powerpc64/Makefile aprtcle/Makefile])
 
 AC_SUBST([XSLDIR])
 AC_SUBST([ASMPATH])
-- 
GitLab