[jdk15u-dev] Integrated: 8256751: Incremental rebuild with precompiled header fails when touching a header file

Mon Apr 26 11:52:55 UTC 2021

On Mon, 26 Apr 2021 11:44:14 GMT, Yuri Nesterenko <yan at openjdk.org> wrote:

> Let's try to file this PR _after_ (not yet integrated) PR for its right successor 8256810: hope it works. All patches apply clean, in the right order.

This pull request has now been integrated.

Changeset: 70230e22
Author:    Yuri Nesterenko <yan at openjdk.org>
URL:       https://git.openjdk.java.net/jdk15u-dev/commit/70230e22
Stats:     3 lines in 1 file changed: 2 ins; 0 del; 1 mod

8256751: Incremental rebuild with precompiled header fails when touching a header file

Backport-of: 19b2898691f945f0d6257e88ec74e291d5d7f277

-------------

PR: https://git.openjdk.java.net/jdk15u-dev/pull/34