Re: "times" ?!

[Patrick Welche]

On Wed, Aug 15, 2001 at 01:54:42PM +0200, Tim Van Holder wrote:
> > I like the former more.
> 
> So do I.  I merely provided the second in case the first
> doesn't work.
> 
> > Would you install it please? lib/autotest/general.m4.  TIA.
> 
> Once I see actual confirmation from Patrick that either
> solution actually works, I'd be glad to do so.

quartz% cat foo.sh
#! /bin/sh

at_times=:
(times) >/dev/null 2>&1 && at_times=times
echo at_times=$at_times
$at_times >at-times
echo $?
quartz% sh foo.sh
at_times=:
0


:) (BTW /dev..)


> I've also got some rewordings (de-francophonisation :-) )
> lying around for that file.

(et etant francais aussi, nous retrouvons un petit monde
francophone chez autoconf)

Cheers,

Patrick