Ignore missing include directory in JDK distribution. (#14832)

Fixes #14646 Closes #14687. PiperOrigin-RevId: 426080540 (cherry picked from commit c2ddbd1) Co-authored-by: Ivo List <[email protected]>
bazelbuild · Feb 16, 2022 · 59384dd · 59384dd
1 parent 2cfdcea
commit 59384dd
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/tools/jdk/jdk.BUILD b/tools/jdk/jdk.BUILD
@@ -165,15 +165,12 @@ filegroup(
 #This folder holds security policies
 filegroup(
     name = "jdk-conf",
-    srcs = glob(
-        ["conf/**"],
-        allow_empty = True,
-    ),
+    srcs = glob(["conf/**"], allow_empty = True),
 )
 
 filegroup(
     name = "jdk-include",
-    srcs = glob(["include/**"]),
+    srcs = glob(["include/**"], allow_empty = True),
 )
 
 filegroup(