git.iko.soy/Idris-dev
on master help sign in
Only run benchmarks when testing C target

Benchmarks are always built for the C backend. Revert parallel build.

commit67b891e2fbb621bd1e58b6c26dd2f86a6c59b8ac authorNiklas Larsson <niklas@mm.st> dateTue 20 Jun 2017, 21:53 (9 years ago) parent2509cfa
1 file changed+4−2
compare with master
unifiedsplit
.travis.yml+4−2
.travis.yml+4−2
@@ -129,7 +129,7 @@ script:
129129 - echo -en 'travis_fold:end:script.configure\\r'
130130###
131131 - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
132− - cabal build -j4
132+ - cabal build
133133 - echo -en 'travis_fold:end:script.build\\r'
134134###
135135 - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
@@ -154,7 +154,9 @@ script:
154154 - echo -en 'travis_fold:end:script.tests\\r'
155155###
156156 - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
157− - cd benchmarks && ./build.pl && ./run.pl && cd ..
157+ - if [[ "$TESTS" == "test_c" ]]; then
158+ cd benchmarks && ./build.pl && ./run.pl && cd ..;
159+ fi
158160 - echo -en 'travis_fold:end:script.benchmarks\\r'
159161###
160162# EOF