diff options
author | 2017-07-10 14:28:56 +0200 | |
---|---|---|
committer | 2017-07-10 14:37:49 +0200 | |
commit | d579b6eafd1d41a73c0dfce7b9ffcfdf1d607a97 (patch) | |
tree | 05416632d6f9d9ede24355087a15b591d1d15929 /src/main/java/com/google/devtools/build/lib/buildeventstream | |
parent | 30fd4566557f016e8c2fa1629196bbd724cde576 (diff) |
Make jvm_runtime.java_home expand Make variables.
RELNOTES: None.
PiperOrigin-RevId: 161383469
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/buildeventstream')
0 files changed, 0 insertions, 0 deletions