diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-27 12:05:11 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-27 12:05:28 +0100 |
commit | ac791649bc13085b2f75fc97db3e32d0b4301a0c (patch) | |
tree | cb53bee85c9288c97f68b98345abdbf525ee898e /travis/profile.sh | |
parent | 2092ca9e3d9482d939d61ebaf10d71578169e0ec (diff) |
minimize profiling build
Diffstat (limited to 'travis/profile.sh')
-rwxr-xr-x | travis/profile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis/profile.sh b/travis/profile.sh index b571ee6d..b1b5ca25 100755 --- a/travis/profile.sh +++ b/travis/profile.sh | |||
@@ -2,4 +2,4 @@ | |||
2 | 2 | ||
3 | cd /root/source/lambdacube-compiler | 3 | cd /root/source/lambdacube-compiler |
4 | ./run-test-suite.sh --profile | 4 | ./run-test-suite.sh --profile |
5 | cat lambdacube-compiler-coverage-test-suite.prof | 5 | head -n 50 lambdacube-compiler-test-suite.prof |