options.h build fails with mawk

[Richard Henderson]

... bug succeeds with gawk.

||/ Name           Version        Description
+++-==============-==============-============================================
ii  mawk           1.3.3-11       a pattern scanning and text processing langu
ii  gawk           3.1.2-2        GNU awk, a pattern scanning and processing l


r~


[kanga:~/work/gcc/build/axp/gcc] make options.h
AWK=gawk /bin/sh ../../../src-gcc/gcc/opts.sh options.c options.h \
        ../../../src-gcc/gcc/f/lang.opt ../../../src-gcc/gcc/java/lang.opt ../../../src-gcc/gcc/c.opt ../../../src-gcc/gcc/common.opt

[kanga:~/work/gcc/build/axp/gcc] make AWK=mawk options.h
AWK=mawk /bin/sh ../../../src-gcc/gcc/opts.sh options.c options.h \
        ../../../src-gcc/gcc/f/lang.opt ../../../src-gcc/gcc/java/lang.opt ../../../src-gcc/gcc/c.opt ../../../src-gcc/gcc/common.opt
mawk: line 8: regular expression compile failed (missing operand)
+
make: *** [options.h] Error 2