remove diff with develop (#28504)

TCChenlong-patch-1
Zhou Wei 5 years ago committed by GitHub
parent 369605be1d
commit 53e9aa948d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -82,11 +82,11 @@ if %day_now% NEQ %day_before% (
goto :mkbuild
)
git diff HEAD origin/develop --stat --name-only
git diff HEAD origin/develop --stat --name-only | findstr "cmake CMakeLists.txt paddle_build.bat"
if %ERRORLEVEL% EQU 0 (
rmdir build /s/q
)
:: git diff HEAD origin/develop --stat --name-only
:: git diff HEAD origin/develop --stat --name-only | findstr "cmake CMakeLists.txt paddle_build.bat"
:: if %ERRORLEVEL% EQU 0 (
:: rmdir build /s/q
:: )
:mkbuild
if not exist build (

Loading…
Cancel
Save