[PATCH] add GCC_OPTIONS

[Alexandre Oliva]

On Jun 27, 2003, Geoff Keating <geoffk@geoffk.org> wrote:

> #!/bin/sh
> exec /usr/bin/gcc -g $*

And this will give him the very quoting hell he mentioned before.  The
right way to spell $* in this case is ${1+"$@"}.  Most systems will do
with "$@", but some dumb shells will expand "$@" to a single,
zero-length argument, instead of no arguments, if no arguments are
given in the command line.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                 aoliva@{redhat.com, gcc.gnu.org}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist                Professional serial bug killer