lib/scripts/timestart.bash
2014-10-09 wenzelm 2014-10-09 prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
2009-05-31 wenzelm 2009-05-31 uniform treatment of shellscript mode;
2008-12-20 wenzelm 2008-12-20 removed Ids;
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;