Skip to main content

Browse the archive

https://github.com/charguer/ocaml
28 December 2020, 04:32:43 UTC
Raw File
Tip revision: e1c05b24714d3698b7f30f65904cc317eddab022 authored by No author on 17 December 1999, 13:28:11 UTC
This commit was manufactured by cvs2svn to create tag 'ocaml299'.
Tip revision: e1c05b2
Time 
# Time       # Measure execution time
# Usage: Time command argumentsè

set echo 0

set startdate `date -n`
{parameters}
set enddate `date -n`

echo "# Time: `evaluate {enddate} - {startdate}` s" > dev:stderr
back to top