diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-02 03:19:54 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-02 03:19:54 -0400 |
commit | ce66cff4fb2ce5ba8160b922767923a939c653d1 (patch) | |
tree | f7d4af7564da9271b69471981e48133107b5d117 /Makefile | |
parent | 984f4adef33698ef2fa62f630eb0ef2c7b1f6bf6 (diff) |
Pipe output of gmpxx run to log file
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -296,7 +296,7 @@ $(GENERATED_GMPXX) : %/gmpxx : %/compilerxx.sh src/Specific/Framework/bench/gmpx sh $*/compilerxx.sh src/Specific/Framework/bench/gmpxx.cpp -o $@ $(GENERATED_GMPXX_MEASUREMENTS) : %/gmpxx.log : %/gmpxx - $< + $< > $@ .PHONY: generated-py-bench generated-py-bench: $(GENERATED_PY_MEASUREMENTS) |