Merge pull request #231 from flame/travis-pr

Disable SDE for PRs
This commit is contained in:
Devin Matthews
2018-07-06 09:38:42 -05:00
committed by GitHub

View File

@@ -59,4 +59,4 @@ script:
- $CC --version
- make -j 2
- if [ $TEST -eq 1 ]; then travis_wait 30 $DIST_PATH/travis/do_testsuite.sh; fi
- if [ $SDE -eq 1 ]; then travis_wait 30 $DIST_PATH/travis/do_sde.sh; fi
- if [ $SDE -eq 1 ] && [ "$TRAVIS_PULL_REQUEST" = "false" ] ; then travis_wait 30 $DIST_PATH/travis/do_sde.sh; fi