Re: having my $RPM_OPT_FLAGS and eating it too...

[Matthew Miller <mattdm mattdm org>]

On Mon, Jul 23, 2001 at 12:48:00AM -0300, Rodrigo Barbosa wrote:
> Humm, lemme see:
> NEW_OPT=`echo $RPM_OPT_FLAGS | sed 's/ -O2 / -O3 /'`
> RPM_OPT_FLAGS="${NEW_OPT_FLAGS}"
> yes, thats it ...

Yeah, I thought about that, but it seemed kinda sketchy. Is that really the
best way? Is it a good idea?



(BTW, it needs to be "sed 's/-O2 /-O3 /'`" -- there's not necessarily a
space before -O2.)

-- 
Matthew Miller           mattdm@mattdm.org        <http://www.mattdm.org/>
Boston University Linux      ------>                <http://linux.bu.edu/>