summaryrefslogtreecommitdiff
path: root/create-perf-report.sh
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-02-22 11:53:40 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-02-22 14:15:45 +0100
commit6aaa725942bcb325f377d3cf22a4483f35cb8e5a (patch)
tree0bfd27e81ffeab3ab34d671f7cd3eabbe4d16d9a /create-perf-report.sh
parentba5776054a555adcf3e7e4169db4cb87f38424e1 (diff)
add todo
Diffstat (limited to 'create-perf-report.sh')
-rwxr-xr-xcreate-perf-report.sh4
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
3lambdacube-compiler-test-suite --overall-time performance +RTS -tcurrent.log --machine-readable 3lambdacube-compiler-test-suite --overall-time performance +RTS -tcurrent.log --machine-readable
4lambdacube-compiler-performance-report $@ \ No newline at end of file 4echo ""
5lambdacube-compiler-performance-report $@
6echo ""