Skip to content

Commit 59384dd

Browse files
Ignore missing include directory in JDK distribution. (bazelbuild#14832)
Fixes bazelbuild#14646 Closes bazelbuild#14687. PiperOrigin-RevId: 426080540 (cherry picked from commit c2ddbd1) Co-authored-by: Ivo List <[email protected]>
1 parent 2cfdcea commit 59384dd

File tree

1 file changed

+2
-5
lines changed

1 file changed

+2
-5
lines changed

tools/jdk/jdk.BUILD

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -165,15 +165,12 @@ filegroup(
165165
#This folder holds security policies
166166
filegroup(
167167
name = "jdk-conf",
168-
srcs = glob(
169-
["conf/**"],
170-
allow_empty = True,
171-
),
168+
srcs = glob(["conf/**"], allow_empty = True),
172169
)
173170

174171
filegroup(
175172
name = "jdk-include",
176-
srcs = glob(["include/**"]),
173+
srcs = glob(["include/**"], allow_empty = True),
177174
)
178175

179176
filegroup(

0 commit comments

Comments
 (0)