GCC -On optimization passes: flag and doc issues

Tue May 1 10:43:00 GMT 2007

As Richard Earnshaw wrote:

> > That's what I did, but it doesn't help for the non-standard usage
> > of /usr/bin/time (-f option).  They even explicitly used
> > /usr/bin/time rather than bash's builtin.

> No, it uses whichever time program you pass to the configure script
> with the -S flag.  So just install gnu time as .../gtime and
> configure with -S .../gtime.  R.

j@uriah 2156% pwd
/junk/CSiBE
j@uriah 2157% find . -name configure
j@uriah 2158% gtime

CORRECT>time (y|n|e|a)? 

-- 
cheers, J"org               .-.-.   --... ...--   -.. .  DL8DTL

http://www.sax.de/~joerg/                        NIC: JW11-RIPE
Never trust an operating system you don't have sources for. ;-)