diff options
| author | Jack Lloyd <[email protected]> | 2016-12-31 14:30:51 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-12-31 14:30:51 -0500 |
| commit | 6e4bd1f365a98517397aa11a44006c9ebd934bec (patch) | |
| tree | 3b0cf946071ee31832ca8517c29bbc5caacf19d2 /src/scripts/ci | |
| parent | f7651b608e09ab7a1d1e3ead2d7e4d1fd472a079 (diff) | |
Run python in coverage mode
Diffstat (limited to 'src/scripts/ci')
| -rwxr-xr-x | src/scripts/ci/travis/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index d997a96bf..22c3ba1ca 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -178,7 +178,7 @@ else fi # Run Python tests (need shared libs) -if [ "$BUILD_MODE" = "shared" ] +if [ "$BUILD_MODE" = "shared" ] || [ "$BUILD_MODE" = "coverage" ]; then # TODO: find all things in PATH that begin with python- and execute them :) for py in python2 python3 |