Commit 3716921c authored by Paul Eggert's avatar Paul Eggert

Portcheck only if --enable-gcc-warnings

Problem reported by Richard Copley (Bug#37852).
This patch causes the problem to not occur if one uses plain
‘configure’.  The problem can still occur if with ‘configure
--enable-gcc-warnings’, so a further fix may be needed.
Define these only with an explicit --enable-gcc-warnings.
parent b087a5f3
Pipeline #3764 passed with stage
in 57 minutes and 9 seconds