diff options
| author |  Yun Peng <pcloudy@google.com> | 2017-08-18 15:40:54 +0200 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-08-21 14:15:37 +0200 |
| commit | e6d2077cab9eef14afc25e54ab6b0e583e0b3bf0 (patch) | |
| tree | 8456584f7ebff48bfe6ab4eb9724fed2e842aac1 /src/main/java/com/google/devtools/common/options/Options.java | |
| parent | c08f67975272a6b40d1fa5c444718efc0b59194a (diff) | |
Refactor Bash Launcher
1. Extract some funtions into NativeLauncherUtil.java
So that they can also be used by Python and Java launcher.
2. Derive runfiles directory from mainExectuable
yielding "%{name}.cmd.runfiles" or "%{name}.exe.runfiles"
3. Removed bash_main_file key, we can assume the main file is next the
launcher just without .exe suffix.
By doing this, we don't have to worry about passing RunfilesPath or
ExecPath. RunfilesPath has ../ prefix for external file, ExecPath
contians ./bazel-out/... for generated file. If main file is a
generated file from external repository, neither of them are correct.
Change-Id: Ie0c35f6030f6229c28d935d8fb3cb6a8af5af29c
PiperOrigin-RevId: 165699975
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/Options.java')
0 files changed, 0 insertions, 0 deletions