This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC -On optimization passes: flag and doc issues
- From: Joerg Wunsch <j at uriah dot heep dot sax dot de>
- To: Richard Earnshaw <rearnsha at arm dot com>
- Cc: Andreas Schwab <schwab at suse dot de>, gcc at gcc dot gnu dot org
- Date: Tue, 1 May 2007 12:43:13 +0200
- Subject: Re: GCC -On optimization passes: flag and doc issues
- References: <20070417222634.GF82697@uriah.heep.sax.de> <m3d522oc2z.fsf@localhost.localdomain> <20070425212223.GU90930@uriah.heep.sax.de> <m3ejm89jwm.fsf@localhost.localdomain> <20070427203149.GD90930@uriah.heep.sax.de> <571f6b510704271338w72f8f286w3b26da9e8120c25e@mail.gmail.com> <20070427205109.GE90930@uriah.heep.sax.de> <1177925975.9391.47.camel@pc960.cambridge.arm.com> <20070501070721.GT90930@uriah.heep.sax.de> <1178008414.384.9.camel@pc960.cambridge.arm.com>
- Reply-to: Joerg Wunsch <joerg_wunsch at uriah dot heep dot sax dot de>
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. ;-)