From 6d430854fb6b30eacd1eae439fead1c13e7450a5 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 20 Oct 2017 18:32:26 +0200
Subject: Normalize Windows installer names.

---
 dev/ci/appveyor.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci')

diff --git a/dev/ci/appveyor.bat b/dev/ci/appveyor.bat
index 72ee89962c..dec6f0d182 100644
--- a/dev/ci/appveyor.bat
+++ b/dev/ci/appveyor.bat
@@ -25,7 +25,7 @@ if %USEOPAM% == false (
     -destcyg=%CYGROOT% -destcoq=%DESTCOQ% -cygcache=%CYGCACHE% ^
     -setup %CYGROOT%\%SETUP% || GOTO ErrorExit
   copy "%CYGROOT%\build\coq-local\dev\nsis\*.exe" dev\nsis || GOTO ErrorExit
-  7z a coq-opensource-archive-%ARCHLONG%.zip %CYGROOT%\build\tarballs\* || GOTO ErrorExit
+  7z a coq-opensource-archive-windows-%ARCHLONG%.zip %CYGROOT%\build\tarballs\* || GOTO ErrorExit
 )
 
 if %USEOPAM% == true (
-- 
cgit v1.2.3