Robert McNulty Junior wrote:- > OK. Just making sure someone knows about it. > I'm not sure how to fix it. > Robert Kelly posted a patch to opts.sh that works around the gawk bug yesterday. I've just approved it. Neil.