History log of /seL4-l4v-10.1.1/isabelle/lib/scripts/timestart.bash
Revision Date Author Comments
# d0cf0b84 09-Oct-2014 wenzelm <none@none>

prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;


# e747ac33 31-May-2009 wenzelm <none@none>

uniform treatment of shellscript mode;


# 66353221 20-Dec-2008 wenzelm <none@none>

removed Ids;


# e81694c8 08-Apr-2008 wenzelm <none@none>

removed obsolete AUTO_PERL feature;


# 34e1d3b4 07-Dec-2005 wenzelm <none@none>

avoid unportable tail;


# 182b576b 01-Dec-2005 wenzelm <none@none>

tuned;


# ca2172c5 01-Dec-2005 wenzelm <none@none>

cpu time = user + system;


# fde79eed 01-Dec-2005 wenzelm <none@none>

timestart - setup bash environment for timing;