On Tue, 2007-05-01 at 09:07 +0200, Joerg Wunsch wrote: > As Richard Earnshaw wrote: > > > There's no need to hack everything up. As long as you have bash > > installed on your machine, it's straight-forward to run CSiBE on > > *BSD machines: simply invoke the makefiles with SHELL=.../bash. > > 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.
