diff options
| -rw-r--r-- | tools/build_scripts/git_update.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build_scripts/git_update.bat b/tools/build_scripts/git_update.bat index 684ee6d786..d32d190bae 100644 --- a/tools/build_scripts/git_update.bat +++ b/tools/build_scripts/git_update.bat @@ -3,10 +3,10 @@ if "%1" == "" ( exit 1 ) -git checkout %1 - git reset --hard +git checkout %1 + git pull --rebase=true --progress -v echo %date% %time% > timestamp.chk
\ No newline at end of file |