diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-22 11:53:40 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-22 14:15:45 +0100 |
commit | 6aaa725942bcb325f377d3cf22a4483f35cb8e5a (patch) | |
tree | 0bfd27e81ffeab3ab34d671f7cd3eabbe4d16d9a /create-perf-report.sh | |
parent | ba5776054a555adcf3e7e4169db4cb87f38424e1 (diff) |
add todo
Diffstat (limited to 'create-perf-report.sh')
-rwxr-xr-x | create-perf-report.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/create-perf-report.sh b/create-perf-report.sh index 4570a3b8..1ce2d1bd 100755 --- a/create-perf-report.sh +++ b/create-perf-report.sh | |||
@@ -1,4 +1,6 @@ | |||
1 | #! /bin/sh | 1 | #! /bin/sh |
2 | 2 | ||
3 | lambdacube-compiler-test-suite --overall-time performance +RTS -tcurrent.log --machine-readable | 3 | lambdacube-compiler-test-suite --overall-time performance +RTS -tcurrent.log --machine-readable |
4 | lambdacube-compiler-performance-report $@ \ No newline at end of file | 4 | echo "" |
5 | lambdacube-compiler-performance-report $@ | ||
6 | echo "" | ||