summaryrefslogtreecommitdiff
path: root/travis
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-01-27 12:05:11 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-01-27 12:05:28 +0100
commitac791649bc13085b2f75fc97db3e32d0b4301a0c (patch)
treecb53bee85c9288c97f68b98345abdbf525ee898e /travis
parent2092ca9e3d9482d939d61ebaf10d71578169e0ec (diff)
minimize profiling build
Diffstat (limited to 'travis')
-rwxr-xr-xtravis/profile.sh2
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
3cd /root/source/lambdacube-compiler 3cd /root/source/lambdacube-compiler
4./run-test-suite.sh --profile 4./run-test-suite.sh --profile
5cat lambdacube-compiler-coverage-test-suite.prof 5head -n 50 lambdacube-compiler-test-suite.prof