summaryrefslogtreecommitdiff
path: root/windows/make-windows-installer.bat
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2013-09-20 17:56:11 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2013-09-20 17:56:11 -0700
commit3334c7be5279d90d3e6d7f171704b24c81996e94 (patch)
tree3e22c4b602466d4601289ce865d132125bd14898 /windows/make-windows-installer.bat
parentb1509e90dff45daeb72c34c5858bd186913c927d (diff)
Added --force in make-windows-installer.bat.
Diffstat (limited to 'windows/make-windows-installer.bat')
-rw-r--r--windows/make-windows-installer.bat4
1 files changed, 2 insertions, 2 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index 6dcc361e6..cf20bc98c 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -4,9 +4,9 @@ cabal update
cabal-dev clean
cabal install hsb2hs cabal-dev
if %errorlevel% neq 0 exit /b %errorlevel%
-cabal-dev install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc
+cabal-dev install -v1 --force --reinstall --flags="embed_data_files"
if %errorlevel% neq 0 exit /b %errorlevel%
-cabal-dev install -v1 --reinstall --flags="embed_data_files"
+cabal-dev install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc
if %errorlevel% neq 0 exit /b %errorlevel%
strip cabal-dev\bin\pandoc.exe
strip cabal-dev\bin\pandoc-citeproc.exe