[bug-gawk] badargs test fails

[Hermann Peifer]

Hi again.

I guess you noted already that commit
http://git.savannah.gnu.org/cgit/gawk.git/commit/?id=c2526c4c963c3f6f86f0f98cf58f87a80513e13f
makes the badargs test fail.

Hermann

$ make check
...
badargs
./badargs.ok _badargs differ: byte 1149, line 38
make[1]: [Makefile:1986: badargs] Error 1 (ignored)
...
============== _badargs =============
*** badargs.ok  2017-11-10 02:28:38.439230691 +0100
--- _badargs    2017-11-10 02:31:29.637975778 +0100
***************
*** 35,40 ****
--- 35,41 ----
  which is section `Reporting Problems and Bugs' in the
  printed version.  This same information may be found at
  https://www.gnu.org/software/gawk/manual/html_node/Bugs.html.
+ PLEASE do NOT try to report bugs by posting in comp.lang.awk.

  gawk is a pattern scanning and processing language.
  By default it reads standard input and writes standard output.