# Time       # Measure execution time
# Usage: Time command arguments�

set echo 0

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

echo -n '# Time: ' >dev:stderr
echo "`evaluate ( {enddate} - {startdate} ) � 60`mn" �
     "`evaluate ( {enddate} - {startdate} ) % 60`s" > dev:stderr