summaryrefslogtreecommitdiff
path: root/windows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-10-16 09:36:38 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-10-16 09:36:38 -0700
commiteaca413df7a14412bd48e392eed86f12a6cd8e0a (patch)
tree515fa2caff88f292d9fae9d3c68d4b34ac5d70d0 /windows
parent3455a34e66423f04486d48cbf7b7da011803626d (diff)
make-windows-installer.bat: add copying to shared drive.
Diffstat (limited to 'windows')
-rw-r--r--windows/make-windows-installer.bat3
1 files changed, 3 insertions, 0 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index d9c5d3883..cac5d974b 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -32,3 +32,6 @@ light -sw1076 -ext WixUIExtension -ext WixUtilExtension -out pandoc-%VERSION%-w
if %errorlevel% neq 0 exit /b %errorlevel%
echo Starting kSign: sign, then quit kSign to complete the build...
kSign
+
+echo Copying to shared drive
+copy pandoc-%VERSION%-windows.msi \\VBOXSVR\WindowsShared\