diff options
| author | George Hazan <ghazan@miranda.im> | 2017-09-29 20:43:36 +0300 |
|---|---|---|
| committer | George Hazan <ghazan@miranda.im> | 2017-09-29 20:43:36 +0300 |
| commit | 62f5a4e21abc2a26cc59fdbd669d13052a4a53bd (patch) | |
| tree | 1f6961f2fc5297de9007e7ce58f42676f8d39326 /tools/build_scripts/git_update.bat | |
| parent | 36b9ade1bf6136ccc8a27b2803522840b665946f (diff) | |
final fix for build scripts to avoid environment conflicts
Diffstat (limited to 'tools/build_scripts/git_update.bat')
| -rw-r--r-- | tools/build_scripts/git_update.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build_scripts/git_update.bat b/tools/build_scripts/git_update.bat index e0292027fd..684ee6d786 100644 --- a/tools/build_scripts/git_update.bat +++ b/tools/build_scripts/git_update.bat @@ -7,6 +7,6 @@ git checkout %1 git reset --hard -git pull --rebase=true --progress -v 2>&1 > update.log +git pull --rebase=true --progress -v echo %date% %time% > timestamp.chk
\ No newline at end of file |