commit 91445cc5147f6e28272d41f96aba14ae4e6139a2
author cushon <cushon@google.com> Wed Jul 01 15:51:19 2020 -0700
committer Copybara-Service <copybara-worker@google.com> Wed Jul 01 15:52:51 2020 -0700
tree 5b2bb4a74a1db27de5285e6ab4199c67c69c78ac
parent 24e09f70d80c4b35547fc15668b68466f6cc889c

Optionally propagate proguard options to the host config

PiperOrigin-RevId: 319311857

src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java

diff --git a/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java b/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
index 5486467..bbaad01 100644
--- a/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
+++ b/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
@@ -704,6 +704,11 @@
     host.javaRuntimeVersion = hostJavaRuntimeVersion;
     host.javaLanguageVersion = hostJavaLanguageVersion;
 
+    host.bytecodeOptimizers = bytecodeOptimizers;
+    host.enforceProguardFileExtension = enforceProguardFileExtension;
+    host.extraProguardSpecs = extraProguardSpecs;
+    host.proguard = proguard;
+
     // Save host options for further use.
     host.hostJavaBase = hostJavaBase;
     host.hostJavacOpts = hostJavacOpts;