Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ignore missing include directory in JDK distribution. #14687

Closed
wants to merge 1 commit into from
Closed

Ignore missing include directory in JDK distribution. #14687

wants to merge 1 commit into from

Conversation

comius
Copy link
Contributor

@comius comius commented Feb 2, 2022

Fixes #14646

@comius comius requested a review from hvadehra February 2, 2022 08:28
@gregestren gregestren added the team-Rules-Java Issues for Java rules label Feb 2, 2022
@bazel-io bazel-io closed this in c2ddbd1 Feb 3, 2022
brentleyjones pushed a commit to brentleyjones/bazel that referenced this pull request Feb 16, 2022
@comius @brentleyjones
Ignore missing include directory in JDK distribution.
aab669d 
Fixes bazelbuild#14646

Closes bazelbuild#14687.

PiperOrigin-RevId: 426080540
(cherry picked from commit c2ddbd1)
Wyverald pushed a commit that referenced this pull request Feb 16, 2022
@brentleyjones @comius
Ignore missing include directory in JDK distribution. (#14832)
59384dd 
Fixes #14646

Closes #14687.

PiperOrigin-RevId: 426080540
(cherry picked from commit c2ddbd1)

Co-authored-by: Ivo List <ilist@google.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hvadehra hvadehra hvadehra approved these changes

Assignees
No one assigned
Labels
team-Rules-Java Issues for Java rules
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

--incompatible_disallow_empty_glob fails with local JDK
3 participants
@comius @hvadehra @gregestren