Compilation failure with --enable-optimizations and --without-doc-strings.

[jwp]

Bug report

Bug description:

--without-doc-strings breaks compilation with --enable-optimizations as PROFILE_TASK has failures, presumably, due to the missing doc strings. 3.12 does not have this problem as PROFILE_TASK is allowed to succeed with || true.

Related: gh-110276

./configure --without-doc-strings --enable-optimizations
make -j32
...
Total duration: 25.6 sec
Total tests: run=8,926 failures=11 skipped=302
Total test files: run=43/43 failed=2 skipped=2
Result: FAILURE
make: *** [profile-run-stamp] Error 2

CPython versions tested on:

3.13

Operating systems tested on:

macOS

Linked PRs

• gh-133167: Fix compilation process with --enable-optimizations and --without-docstrings #133187
• [3.13] gh-133167: Fix compilation process with --enable-optimizations and --without-docstrings (GH-133187) #133207

[sobolevn]

Please report back if my commit did not fix this for you!