提交 6ea2420f authored 作者: Thomas Mueller's avatar Thomas Mueller

Use Windows style line breaks for batch files

上级 af04b6fe
@echo off @echo off
echo %time:~0,8% Start echo %time:~0,8% Start
setlocal setlocal
cd ../.. cd ../..
set today=%date:~6%%date:~3,2%%date:~0,2% set today=%date:~6%%date:~3,2%%date:~0,2%
rmdir /s /q ..\h2web-%today% 2>nul rmdir /s /q ..\h2web-%today% 2>nul
rmdir /s /q ..\h2web 2>nul rmdir /s /q ..\h2web 2>nul
mkdir ..\h2web mkdir ..\h2web
rmdir /s /q bin 2>nul rmdir /s /q bin 2>nul
rmdir /s /q temp 2>nul rmdir /s /q temp 2>nul
call java16 >nul 2>nul call java16 >nul 2>nul
call build -quiet compile call build -quiet compile
call build -quiet spellcheck javadocImpl jarClient call build -quiet spellcheck javadocImpl jarClient
call build -quiet clean compile installer mavenDeployCentral call build -quiet clean compile installer mavenDeployCentral
rem call build -quiet compile benchmark rem call build -quiet compile benchmark
rem == Copy the benchmark results and update the performance page and diagram rem == Copy the benchmark results and update the performance page and diagram
ren ..\h2web h2web-%today% ren ..\h2web h2web-%today%
echo %time:~0,8% Done echo %time:~0,8% Done
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论