diff options
| author | watcherhd <watcherhd@gmail.com> | 2017-08-05 18:28:13 +0300 |
|---|---|---|
| committer | watcherhd <watcherhd@gmail.com> | 2017-08-05 18:28:13 +0300 |
| commit | 760c3ae475b4b39b486f72c7adb8c1f1d83b440f (patch) | |
| tree | e3e08ebf880462db266321b8e1528f11d1b71cdf /tools/build_scripts/git_update.bat | |
| parent | 6b3e2962bcf7917e0593da3f5c3605e923889fe2 (diff) | |
build scripts for those who are willing to keep it all going
Diffstat (limited to 'tools/build_scripts/git_update.bat')
| -rw-r--r-- | tools/build_scripts/git_update.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/build_scripts/git_update.bat b/tools/build_scripts/git_update.bat new file mode 100644 index 0000000000..5d121ead94 --- /dev/null +++ b/tools/build_scripts/git_update.bat @@ -0,0 +1,5 @@ +git reset --hard + +git pull --rebase=true --progress -v 2>&1 > update.log + +echo %date% %time% > timestamp.chk
\ No newline at end of file |