autoconf
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "times" ?!

From: Patrick Welche
Subject: Re: "times" ?!
Date: Wed, 15 Aug 2001 12:23:09 +0100
User-agent: Mutt/1.3.19i 
quartz% cat foo.sh
#! /bin/sh

:; times >at-times 2>/dev/null; echo $?


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


Cheers,

Patrick
reply via email to
[Prev in Thread] Current Thread [Next in Thread]