commit 198a54f95e88d7547e0458aba8ab63833005b81b
author Googler <noreply@google.com> Mon Jan 18 11:02:10 2016 +0000
committer Han-Wen Nienhuys <hanwen@google.com> Mon Jan 18 14:34:53 2016 +0000
tree 0762ce33424001309946d75b27e6be3365728652
parent 35d60f969f90470275fb1be66fdb132221f0d38f

Description redacted.
--
MOS_MIGRATED_REVID=112394431

src/main/java/com/google/devtools/build/lib/packages/Package.java

diff --git a/src/main/java/com/google/devtools/build/lib/packages/Package.java b/src/main/java/com/google/devtools/build/lib/packages/Package.java
index ce49383..5c04220 100644
--- a/src/main/java/com/google/devtools/build/lib/packages/Package.java
+++ b/src/main/java/com/google/devtools/build/lib/packages/Package.java
@@ -575,7 +575,7 @@
    * Gets the default header checking mode.
    */
   public String getDefaultHdrsCheck() {
-    return defaultHdrsCheck != null ? defaultHdrsCheck : "loose";
+    return defaultHdrsCheck != null ? defaultHdrsCheck : "strict";
   }
 
   /**