Hi Akim, On 6/17/19 11:59 AM, Akim Demaille wrote: > Hi Tim, > >> Le 17 juin 2019 à 11:57, Tim Rühsen <tim.rueh...@gmx.de> a écrit : >> >> Hi Akim, >> >> 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. > > That was not my intention. > > I expect that maintainers have gawk installed, so I think this check > should be skipped if awk is not gawk. WDYT?
Thanks, sounds reasonable to me. Regards, Tim
signature.asc
Description: OpenPGP digital signature