Project

General

Profile

« Previous | Next » 

Revision 9903

inputs/.TNRS/tnrs/tnrs.make: removed no longer needed end time, now that the total runtime is printed

View differences:

inputs/.TNRS/tnrs/tnrs.make
19 19

  
20 20
echo -n 'start time: '; date
21 21
(set -x; time tnrs_db "$@")
22
echo -n 'end time: '; date

Also available in: Unified diff