From 4dd64d37dbd9f7fe8b14f020531b493fe782d225 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 7 Nov 2017 13:55:36 +0100
Subject: Fix #5998: AppVeyor package building is currently failing

---
 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 e2fbf1f6d1..72ee89962c 100644
--- a/dev/ci/appveyor.bat
+++ b/dev/ci/appveyor.bat
@@ -37,5 +37,5 @@ if %USEOPAM% == true (
 GOTO :EOF
 
 :ErrorExit
-  ECHO ERROR MakeCoq_MinGW.bat failed
+  ECHO ERROR %0 failed
   EXIT /b 1
-- 
cgit v1.2.3