From 2ba1f6c3894851296fcfca0faf8aa2d3c0f4cf3a Mon Sep 17 00:00:00 2001 From: Ivo List Date: Wed, 2 Feb 2022 08:26:47 +0000 Subject: [PATCH] Ignore missing include directory in JDK distribution. --- tools/jdk/jdk.BUILD | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/tools/jdk/jdk.BUILD b/tools/jdk/jdk.BUILD index 687077146896ad..057bfbfab3a768 100644 --- 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(