Merge pull request #3638 from sejongoh/quick_path_fix_for_init_tool_sh
authorSejong Oh <sejooh@microsoft.com>
Thu, 10 Mar 2016 19:08:15 +0000 (11:08 -0800)
committerSejong Oh <sejooh@microsoft.com>
Thu, 10 Mar 2016 19:08:15 +0000 (11:08 -0800)
Fix shell command to execute init-tool.sh on CI


Trivial merge