Re: [ptxdist] [PATCH] ptxd_lib_dgen.awk: Fix warning

2015-04-30 Thread Michael Olbrich
On Wed, Apr 29, 2015 at 09:06:18PM +0200, Bernhard Walle wrote: After upgrading my gawk to 4.1.2 (which Arch Linux did today), I get tons of warnings like gawk: /usr/lib/ptxdist-2015.04.0/scripts/lib/ptxd_lib_dgen.awk:386: (FILENAME=/tmp/ptxdist.p1sg2M/dgen/platformconfig FNR=233) warning:

[ptxdist] [PATCH] ptxd_lib_dgen.awk: Fix warning

2015-04-29 Thread Bernhard Walle
After upgrading my gawk to 4.1.2 (which Arch Linux did today), I get tons of warnings like gawk: /usr/lib/ptxdist-2015.04.0/scripts/lib/ptxd_lib_dgen.awk:386: (FILENAME=/tmp/ptxdist.p1sg2M/dgen/platformconfig FNR=233) warning: gensub: third argument `' treated as 1 This patch fixes the warnings.