"make distcheck" fails

2020-07-11 Thread Bruno Haible
Hi, The CI job [1] currently fails in the "make distcheck" step. I can reproduce it on an Ubuntu 16.04.x machine: $ ./configure --config-cache --enable-gcc-warnings CPPFLAGS="-Wall" ... $ make V=1 ... gcc-I../lib -I../lib -Wall -fno-common -Wall -Wbad-function-cast -Wdate-time -Wdisabled-opt

Re: "make distcheck" fails

2020-07-11 Thread Paul Eggert
On 7/11/20 4:15 AM, Bruno Haible wrote: I can reproduce it on an Ubuntu 16.04.x machine: m4.c:166:1: error: function might be candidate for attribute 'pure' if it is known to return normally [-Werror=suggest-attribute=pure] fault_handler (int signo) ^ ... It is not clear to me whethe

Re: "make distcheck" fails

2020-07-11 Thread Bruno Haible
Hi Paul, > > I can reproduce it on an Ubuntu 16.04.x machine: > > > m4.c:166:1: error: function might be candidate for attribute 'pure' if it > > is known to return normally [-Werror=suggest-attribute=pure] > > fault_handler (int signo) > > ^ > > ... > > > It is not clear to me whether the