Integrated: 8297352: configure should check pandoc version

Mon Nov 21 18:37:30 UTC 2022

On Mon, 21 Nov 2022 16:17:22 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> Following JDK-8297165, configure should check if pandoc is of the same version. Having the same version of pandoc guarantees consistent output of the generated files.

This pull request has now been integrated.

Changeset: 817e039b
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/817e039bb5300e95ba60749f237f1243f72f4eeb
Stats:     19 lines in 1 file changed: 14 ins; 2 del; 3 mod

8297352: configure should check pandoc version

Reviewed-by: erikj

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

PR: https://git.openjdk.org/jdk/pull/11273