Re: gp timers # and ## in parallel mode

[Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>]

On Wed, Jan 23, 2019 at 01:24:15PM +0100, Jerome Raulin wrote:
> Hi Bill,
> Thanks very much for the upgrade, it's better than having to choose
> between cpu time or wall time.
> I used to prefer wall clock time and so used the --time=ftime switch
> when calling the Configure script. With this configuration the
> evolution broke the build in the init.c file, walltimer_start
> function. I had to remove the --time switch for a successful build.

OK, I have fixed that in dedf43261. Thanks!

> With this new timing the ftime option is unnecessary as both cpu and
> wall clock is provided, the ftime option should probably be
> deprecated.

The ftime option is mostly for OS that do not support better options.

Cheers,
Bill.