Make.bat: fix copy command, create dest folders if not present

This commit is contained in:
John J. Camilleri
2018-11-05 19:29:35 +01:00
parent 6cf7059ddb
commit 17bc505382

View File

@@ -92,6 +92,14 @@ for %%m in (%modules%) do (
%gfc% --no-pmcfg --gfo-dir=%dist%\alltenses %%m %gfc% --no-pmcfg --gfo-dir=%dist%\alltenses %%m
) )
REM Make destination directories if not present
if not exist %dest% mkdir %dest%
if not exist %dest%\prelude mkdir %dest%\prelude
if not exist %dest%\present mkdir %dest%\present
if not exist %dest%\alltenses mkdir %dest%\alltenses
REM Copy REM Copy
echo Copying to %dest% echo Copying to %dest%
copy %dist% %dest% copy %dist%\prelude\*.gfo %dest%\prelude\
copy %dist%\present\*.gfo %dest%\present\
copy %dist%\alltenses\*.gfo %dest%\alltenses\