On Wed, Oct 02, 2019 at 04:33:49PM +0900, Norbert Preining wrote:
> Hi Gavin,
>
> In additon to what Hans-Bernhard wrote, in Debian there are other
> breakages, too:
>
> https://buildd.debian.org/status/fetch.php?pkg=gcc-7=s390x=7.4.0-14=156188=0
>
> gdc.texi:78: warning: undefined flag:
Hi Gavin,
In additon to what Hans-Bernhard wrote, in Debian there are other
breakages, too:
https://buildd.debian.org/status/fetch.php?pkg=gcc-7=s390x=7.4.0-14=156188=0
gdc.texi:78: warning: undefined flag: version-GCC (possibly involving
@versionsubtitle)
gdc.texi:188: warning: @item