Revision 9902
Added by Aaron Marcuse-Kubitza over 11 years ago
| tnrs.make | ||
|---|---|---|
| 18 | 18 |
fi |
| 19 | 19 |
|
| 20 | 20 |
echo -n 'start time: '; date |
| 21 |
(set -x; tnrs_db "$@") |
|
| 21 |
(set -x; time tnrs_db "$@")
|
|
| 22 | 22 |
echo -n 'end time: '; date |
Also available in: Unified diff
inputs/.TNRS/tnrs/tnrs.make: print the total runtime using `time`