Remove profiling from travis build.

1 files changed, 2 insertions, 15 deletions

diff --git a/.travis.yml b/.travis.yml
index 565fd860..60c7cbba 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,23 +1,10 @@
 
-language: python
-python:
-  - "2.6"
-  - "2.7"
+language: c
 
 sudo: required
 services:
   - docker
 
-matrix:
-  fast_finish: true
-  include:
-    - python: 2.6
-      env: BUILD_TYPE=build
-    - python: 2.7
-      env: BUILD_TYPE=profile
-  allow_failures:
-    - python: 2.7
-
 before_install:
   - grep '\(MemTotal\|SwapTotal\)' /proc/meminfo
   - git show | head -1  # (for matching against commit hash given on the travis log web page)
@@ -25,4 +12,4 @@ before_install:
   - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list"
 
 script:
-  - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/travis-${BUILD_TYPE}.sh"
+  - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/build.sh"