@@ -129,7 +129,7 @@ script:
129 - echo -en 'travis_fold:end:script.configure\\r'
129 - echo -en 'travis_fold:end:script.configure\\r'
131 - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
131 - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
132− - cabal build -j4
132+ - cabal build
133 - echo -en 'travis_fold:end:script.build\\r'
133 - echo -en 'travis_fold:end:script.build\\r'
135 - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
135 - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
@@ -154,7 +154,9 @@ script:
154 - echo -en 'travis_fold:end:script.tests\\r'
154 - echo -en 'travis_fold:end:script.tests\\r'
156 - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
156 - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
157+ - if [[ "$TESTS" == "test_c" ]]; then
157− - cd benchmarks && ./build.pl && ./run.pl && cd ..
158+ cd benchmarks && ./build.pl && ./run.pl && cd ..;
158 - echo -en 'travis_fold:end:script.benchmarks\\r'
160 - echo -en 'travis_fold:end:script.benchmarks\\r'