Ignore missing include directory in JDK distribution.

Fixes #14646 Closes #14687. PiperOrigin-RevId: 426080540
bazelbuild · Feb 3, 2022 · c2ddbd1 · c2ddbd1
1 parent 2bfac86
commit c2ddbd1
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(