On 9/5/19 10:29 PM, Bernhard Voelker wrote: > Something is fishy here. With a 'git clean -xdfq' repo > followed by './bootstrap && ./configure && make -j20 all syntax-check', > sc_prohibit_gnu_make_extensions still fails e.g. in locate/Makefile. > Running a couple times again, the error vanishes.
I didn't see this issue since then. Case closed. Have a nice day, Berny