improve depot push

2023-10-10 08:30:58 +02:00 · 2023-10-10 08:30:58 +02:00 · e2d2a00f46
parent ea71398b33
commit e2d2a00f46
1 changed files with 8 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -174,6 +174,14 @@ if "%1"=="dpush" (
        )
    popd
    if not "%2"=="noroot" (
        git add depot
        git commit -m "sync depot"
        if not "%3"=="local" (
            git push
        )
    )
    exit /b
 )