diff options
| author | Andor Penzes <andor.penzes@gmail.com> | 2016-01-27 16:11:30 +0100 |
|---|---|---|
| committer | Andor Penzes <andor.penzes@gmail.com> | 2016-01-27 16:11:46 +0100 |
| commit | 245abb33e63bda7dc3a6c886840142be11a7c318 (patch) | |
| tree | de22f52edf960d37fd162d919215c050ba70fc9b /.travis.yml | |
| parent | c78d96f057ffeea44ae52b5f740be8047cae3763 (diff) | |
Run profiling on travis.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 60c7cbba..bb405b48 100644 --- a/.travis.yml +++ b/.travis.yml | |||
| @@ -12,4 +12,4 @@ before_install: | |||
| 12 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list" | 12 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list" |
| 13 | 13 | ||
| 14 | script: | 14 | script: |
| 15 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/build.sh" | 15 | - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/build.sh;/root/source/lambdacube-compiler/travis/profile.sh" |