Re: [PATCH 5/5] match.pd: Use splits in makefile and make configurable.

[Jeff Law via Gcc-patches]

On 5/5/23 14:46, Jakub Jelinek wrote:

On Fri, May 05, 2023 at 03:37:47PM +0000, Tamar Christina wrote:

2023-05-05  Jakub Jelinek  <ja...@redhat.com>

        * Makefile.in (check_p_numbers): Rename to one_to_9999, move
        earlier with helper variables also renamed.
        (MATCH_SPLUT_SEQ): Use $(wordlist 1,$(NUM_MATCH_SPLITS),$(one_to_9999))
        instead of $(shell seq 1 $(NUM_MATCH_SPLITS)).
        (check_p_subdirs): Use $(one_to_9999) instead of $(check_p_numbers).

Passed bootstrap/regtest on x86_64-linux and i686-linux, ok for trunk?

OK.
jeff