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( filegroup( name = "jdk-include", - srcs = glob(["include/**"]), + srcs = glob( + ["include/**"], + allow_empty = True, + ), ) filegroup(