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 /Makefile | |
| parent | 6e631e6630517d8d0504ce1beac94c0f776c7344 (diff) | |
Remove profiling from travis build.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -11,5 +11,8 @@ coverage: | |||
| 11 | profile: | 11 | profile: |
| 12 | ./run-test-suite.sh --profile | 12 | ./run-test-suite.sh --profile |
| 13 | 13 | ||
| 14 | docker-profile: | ||
| 15 | docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/profile.sh" | ||
| 16 | |||
| 14 | hlint: | 17 | hlint: |
| 15 | hlint -h tool/HLint.hs src test tool | 18 | hlint -h tool/HLint.hs src test tool |