1 files changed, 13 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/config/BuildOptions.java b/src/main/java/com/google/devtools/build/lib/analysis/config/BuildOptions.java
index 46842ae6bd..4fdae568b1 100644
--- a/src/main/java/com/google/devtools/build/lib/analysis/config/BuildOptions.java
+++ b/src/main/java/com/google/devtools/build/lib/analysis/config/BuildOptions.java
@@ -210,6 +210,19 @@ public final class BuildOptions implements Cloneable, Serializable {
   }
 
   /**
+   * Returns {@code true} if static configurations should be used with
+   * {@link BuildConfiguration.Options.DynamicConfigsMode.NOTRIM_PARTIAL}.
+   */
+  public boolean useStaticConfigurationsOverride() {
+    for (FragmentOptions fragment : fragmentOptionsMap.values()) {
+      if (fragment.useStaticConfigurationsOverride()) {
+        return true;
+      }
+    }
+    return false;
+  }
+
+  /**
    * The cache key for the options collection. Recomputes cache key every time it's called.
    */
   public String computeCacheKey() {