diff options
author | pcloudy <pcloudy@google.com> | 2018-08-10 02:44:07 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-10 02:46:23 -0700 |
commit | 7aaa34a1ff518146dd972810445a3d8ced93aa27 (patch) | |
tree | 7281b476c1211e39c92f2d5cc3ccb18e601a3cf2 /src/tools/execlog/BUILD | |
parent | ee0ad1a79f52b0e17177cf30d1019740a2832009 (diff) |
Windows, Bash launcher: Make sure bash bin tool directory is in PATH
If bash_bin_path exists, we add it's directory to PATH to make bash bin tools available.
If bash_bin_path doesn't exist, there are two cases:
1. bash.exe is in PATH, and that means bash bin tools should also be in PATH.
2. bash.exe isn't in PATH, the launcher will fail with "The system cannot find the file
specified." error.
RELNOTES: None
PiperOrigin-RevId: 208182717
Diffstat (limited to 'src/tools/execlog/BUILD')
0 files changed, 0 insertions, 0 deletions