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?