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

brentleyjones · comius · web-flow · commit 59384ddee429 · 2022-02-17T03:01:43.000+11:00
Fixes bazelbuild#14646 Closes bazelbuild#14687. PiperOrigin-RevId: 426080540 (cherry picked from commit c2ddbd1) Co-authored-by: Ivo List <ilist@google.com>
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(
