On 06/27/2011 02:07 PM, Peter Samuelson wrote: > The first two are false positives. The last two ... I don't know why > checkbashisms thinks 'time' might be bash-specific.
Maybe because running 'time' in bash might not give the same output as running '/usr/bin/time' ? $ time ls > /dev/null real 0m0.005s user 0m0.000s sys 0m0.004s $ /usr/bin/time ls > /dev/null 0.00user 0.00system 0:00.00elapsed 100%CPU (0avgtext+0avgdata 3632maxresident)k 0inputs+0outputs (0major+292minor)pagefaults 0swaps $ -- C. Michael Pilato <cmpil...@collab.net> CollabNet <> www.collab.net <> Distributed Development On Demand
