diff options
| -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"; } /** |