diff options
author | Googler <noreply@google.com> | 2016-01-18 11:02:10 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@google.com> | 2016-01-18 14:34:53 +0000 |
commit | 198a54f95e88d7547e0458aba8ab63833005b81b (patch) | |
tree | 0762ce33424001309946d75b27e6be3365728652 | |
parent | 35d60f969f90470275fb1be66fdb132221f0d38f (diff) |
Description redacted.
--
MOS_MIGRATED_REVID=112394431
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/packages/Package.java | 2 |
1 files changed, 1 insertions, 1 deletions
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 ce49383f20..5c04220a06 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 @@ public class Package { * Gets the default header checking mode. */ public String getDefaultHdrsCheck() { - return defaultHdrsCheck != null ? defaultHdrsCheck : "loose"; + return defaultHdrsCheck != null ? defaultHdrsCheck : "strict"; } /** |