Content - 0a8267465bade7b1800f1cd6f76d74cccd4e75ed - 089dbac/tools/Time

visit type:

Tip revision: 1ac2324f954e5400bc0af9597e12339cb7bea969 authored by No author on 27 July 2001, 14:40:58 UTC
This commit was manufactured by cvs2svn to create tag 'ocaml302'.

Tip revision: 1ac2324

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