Project

General

Profile

« Previous | Next » 

Revision 9902

Added by Aaron Marcuse-Kubitza over 11 years ago

inputs/.TNRS/tnrs/tnrs.make: print the total runtime using `time`

View differences:

inputs/.TNRS/tnrs/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