Merge pull request #101 from keith:ks/fix-incompatible_disallow_empty_glob

PiperOrigin-RevId: 523327403
Change-Id: If295d2ffb6a7f20a53f74f6f101f619eb3f4e7fb

toolchains/jdk.BUILD

diff --git a/toolchains/jdk.BUILD b/toolchains/jdk.BUILD
index 6870771..287836a 100644
--- a/toolchains/jdk.BUILD
+++ b/toolchains/jdk.BUILD
@@ -173,7 +173,10 @@
 
 filegroup(
     name = "jdk-include",
-    srcs = glob(["include/**"]),
+    srcs = glob(
+        ["include/**"],
+        allow_empty = True,
+    ),
 )
 
 filegroup(