aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--src/main/java/com/google/devtools/build/lib/pkgcache/SrcTargetUtil.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/pkgcache/SrcTargetUtil.java b/src/main/java/com/google/devtools/build/lib/pkgcache/SrcTargetUtil.java
index 242bcc38ea..b8f4b3e11a 100644
--- a/src/main/java/com/google/devtools/build/lib/pkgcache/SrcTargetUtil.java
+++ b/src/main/java/com/google/devtools/build/lib/pkgcache/SrcTargetUtil.java
@@ -68,7 +68,7 @@ public final class SrcTargetUtil {
// Attributes referring to "headers".
private static final ImmutableSet<String> HEADER_ATTRIBUTES =
- ImmutableSet.of("hdrs");
+ ImmutableSet.of("hdrs", "textual_hdrs");
// The attribute to search in filegroups.
private static final ImmutableSet<String> FILEGROUP_ATTRIBUTES =