[PATCH] Fix cygwin gawk wierdness in opts.sh

[Neil Booth]

Roger Sayle wrote:-

> Anyway the following patch works around the problem and allows
> bootstrap on cygwin to proceed.  Does this look safe on other
> platforms?  Is it a known issue?  Ok for mainline?
 
Did this only just start?  Yesterday we started passing multiple
files to opts.sh; previously we just passed a single file.  Maybe
something to do with $@ ?  Does putting - explicitly on the command
line help?
 
> 2003-06-14  Roger Sayle  <roger@eyesopen.com>
> 
> 	* opts.sh: Work around a mysterious feature in cygwin's gawk
> 	where specifying the input files explicitly has different
> 	behavior to piping them via stdin.

I'm happy to try it and see.

Neil.