Revision 361
Added by Aaron Marcuse-Kubitza almost 13 years ago
inputs/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
input.Makefile: Use system's time utility instead of shell's time command