Hi Akim, On 5/19/19 7:42 AM, Akim Demaille wrote: > >> Le 18 mai 2019 à 20:21, Paul Eggert <egg...@cs.ucla.edu> a écrit : >> >> Akim Demaille wrote: >> >>> How about this? >> >> Looks OK to me; thanks. > > Installed. Thanks! >
The patch uses awk -e which is understood only by GNU awk. This breaks all Debian CI tests here since Debian installs 'mawk' by default (I wasn't aware of that before). It's not a big deal to install package 'gawk' everywhere, but I just wanted to mention it. I can see no warning/hint in any of the patch's comments. Hmmm, this also implies documenting a new dependency in all projects that use gnulib or disabling sc_prohibit_gnu_make_extensions. Regards, Tim
signature.asc
Description: OpenPGP digital signature