# 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
