From c2ddbd1954af5baab63b93f2b055a410a27832c8 Mon Sep 17 00:00:00 2001
From: Ivo List <ilist@google.com>
Date: Thu, 3 Feb 2022 01:21:11 -0800
Subject: [PATCH] Ignore missing include directory in JDK distribution.

Fixes https://github.com/bazelbuild/bazel/issues/14646

Closes #14687.

PiperOrigin-RevId: 426080540
---
 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(