lib/scripts/timestart.bash
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_PERL feature;
2005-12-07 wenzelm 2005-12-07 avoid unportable tail;
2005-12-01 wenzelm 2005-12-01 tuned;
2005-12-01 wenzelm 2005-12-01 cpu time = user + system;
2005-12-01 wenzelm 2005-12-01 timestart - setup bash environment for timing;