1996-11-02 10:05:24 -08:00
|
|
|
|
# Time # Measure execution time
|
|
|
|
|
|
# Usage: Time command arguments<74>
|
|
|
|
|
|
|
|
|
|
|
|
set echo 0
|
|
|
|
|
|
|
|
|
|
|
|
set startdate `date -n`
|
|
|
|
|
|
{parameters}
|
|
|
|
|
|
set enddate `date -n`
|
|
|
|
|
|
|
1998-07-04 10:32:15 -07:00
|
|
|
|
echo "# Time: `evaluate {enddate} - {startdate}` s" > dev:stderr
|
