Content - 0a8267465bade7b1800f1cd6f76d74cccd4e75ed - 01b96c7/tools/Time

visit type:

Tip revision: 4c1d98e8cc326c9a9721593af8a1f226677e848b authored by No author on 04 March 1999, 15:03:29 UTC
This commit was manufactured by cvs2svn to create tag 'ocaml202'.

Tip revision: 4c1d98e

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

Browse the archive

https://github.com/charguer/ocaml