Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/corert.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Kotas <jkotas@microsoft.com>2016-10-08 10:20:53 +0300
committerGitHub <noreply@github.com>2016-10-08 10:20:53 +0300
commit87baf7463a6e7cf8c5988205d4b749b4d2a3c9eb (patch)
tree4d0f91119181829bdccf3be46c32d1151024a94e /init-tools.cmd
parenta7437640b3981244fda484a5919c0039942ccf6a (diff)
Standardize on _echo name (#1997)
Diffstat (limited to 'init-tools.cmd')
-rw-r--r--init-tools.cmd2
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