diff options
author | Jan Kotas <jkotas@microsoft.com> | 2016-10-08 10:20:53 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-08 10:20:53 +0300 |
commit | 87baf7463a6e7cf8c5988205d4b749b4d2a3c9eb (patch) | |
tree | 4d0f91119181829bdccf3be46c32d1151024a94e /init-tools.cmd | |
parent | a7437640b3981244fda484a5919c0039942ccf6a (diff) |
Standardize on _echo name (#1997)
Diffstat (limited to 'init-tools.cmd')
-rw-r--r-- | init-tools.cmd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/init-tools.cmd b/init-tools.cmd index 8663ed20e..3db46fc0e 100644 --- a/init-tools.cmd +++ b/init-tools.cmd @@ -1,4 +1,4 @@ -@if "%_echo%" neq "on" echo off +@if not defined _echo @echo off setlocal set INIT_TOOLS_LOG=%~dp0init-tools.log |