aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/appveyor.bat
diff options
context:
space:
mode:
Diffstat (limited to 'dev/ci/appveyor.bat')
-rw-r--r--dev/ci/appveyor.bat2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/appveyor.bat b/dev/ci/appveyor.bat
index e2fbf1f6d..72ee89962 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