1 files changed, 11 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/rules/objc/ObjcConfigurationLoader.java b/src/main/java/com/google/devtools/build/lib/rules/objc/ObjcConfigurationLoader.java
index a23a234d52..ec8fc4e523 100644
--- a/src/main/java/com/google/devtools/build/lib/rules/objc/ObjcConfigurationLoader.java
+++ b/src/main/java/com/google/devtools/build/lib/rules/objc/ObjcConfigurationLoader.java
@@ -33,10 +33,20 @@ public class ObjcConfigurationLoader implements ConfigurationFragmentFactory {
       throws InvalidConfigurationException, InterruptedException {
     Options options = buildOptions.get(BuildConfiguration.Options.class);
     ObjcCommandLineOptions objcOptions = buildOptions.get(ObjcCommandLineOptions.class);
-
+    validate(objcOptions);
     return new ObjcConfiguration(objcOptions, options, env.getBlazeDirectories());
   }
 
+  private static void validate(ObjcCommandLineOptions objcOptions)
+      throws InvalidConfigurationException {
+    if (objcOptions.experimentalObjcHeaderThinning && objcOptions.useDotdPruning) {
+      throw new InvalidConfigurationException(
+          "Cannot use Objective-C dotd pruning "
+              + "(--objc_use_dotd_pruning) and experimental Objective-C header thinning "
+              + "(--experimental_objc_header_thinning) at the same time.");
+    }
+  }
+
   @Override
   public Class<? extends BuildConfiguration.Fragment> creates() {
     return ObjcConfiguration.class;