diff options
| author | Andor Penzes <andor.penzes@gmail.com> | 2016-01-27 01:31:15 +0100 |
|---|---|---|
| committer | Andor Penzes <andor.penzes@gmail.com> | 2016-01-27 01:31:15 +0100 |
| commit | 22d39bea7e429c8f25d1d283636165afae642a4e (patch) | |
| tree | 267d7d7bb619f08b7023dcecec6a647d6ff33e7c /travis/profile.sh | |
| parent | 6e631e6630517d8d0504ce1beac94c0f776c7344 (diff) | |
Remove profiling from travis build.
Diffstat (limited to 'travis/profile.sh')
| -rwxr-xr-x | travis/profile.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/travis/profile.sh b/travis/profile.sh new file mode 100755 index 00000000..b571ee6d --- /dev/null +++ b/travis/profile.sh | |||
| @@ -0,0 +1,5 @@ | |||
| 1 | #!/bin/bash -e | ||
| 2 | |||
| 3 | cd /root/source/lambdacube-compiler | ||
| 4 | ./run-test-suite.sh --profile | ||
| 5 | cat lambdacube-compiler-coverage-test-suite.prof | ||