diff options
author | Jim <jfehrle@sbcglobal.net> | 2017-12-01 19:56:34 -0800 |
---|---|---|
committer | Jim Fehrle <jfehrle@sbcglobal.net> | 2017-12-16 10:39:11 -0800 |
commit | ffb7ada29308398746decc538c81b608ca57f88c (patch) | |
tree | c5a6bea9a195aaf4cd517c96acd59d5d62cbdc55 | |
parent | 84cdfdf1871997931a866949b6c14198e01a3136 (diff) |
Fix build file
-rw-r--r-- | dev/build/windows/MakeCoq_MinGW.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat index f91b301b8..665d54176 100644 --- a/dev/build/windows/MakeCoq_MinGW.bat +++ b/dev/build/windows/MakeCoq_MinGW.bat @@ -345,7 +345,7 @@ IF "%COQREGTESTING%" == "Y" ( SET "EXTRAPACKAGES= " IF NOT "%APPVEYOR%" == "True" ( - SET EXTRAPACKAGES="-P wget,curl,git,gcc-core,gcc-g++,automake1.5" + SET EXTRAPACKAGES=-P wget,curl,git,gcc-core,gcc-g++,automake1.5 ) IF "%RUNSETUP%"=="Y" ( |