Project

General

Profile

« Previous | Next » 

Revision 361

input.Makefile: Use system's time utility instead of shell's time command

View differences:

input.Makefile
52 52
log = $*$(if $(n),.n=$(n),).log
53 53

  
54 54
import-%: map.VegBIEN.%.csv _not_file
55
	(set -x; time env commit=1 $(mapEnv) $(map) $<) 2>&1 | tee -a $(log)
55
	(set -x; "time" env commit=1 $(mapEnv) $(map) $<) 2>&1 | tee -a $(log)
56 56

  
57 57
##
58 58

  

Also available in: Unified diff