diff options
author | Googler <noreply@google.com> | 2017-06-09 04:20:23 +0200 |
---|---|---|
committer | Jakob Buchgraber <buchgr@google.com> | 2017-06-09 10:23:22 +0200 |
commit | 88677dbef8a9a1f88a35229f342fdf8523273456 (patch) | |
tree | abc4e53ef19b6237c305771155367f7cc94547ab /src/main/java/com/google/devtools/build/lib/remote/GrpcRemoteExecutor.java | |
parent | 2730bae6223d611fbe5a45463cd788c4f4cc076f (diff) |
Execute the launcher script from mobile-install command.
PiperOrigin-RevId: 158473075
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/remote/GrpcRemoteExecutor.java')
0 files changed, 0 insertions, 0 deletions