fix travis.yml
diff --git a/.travis.yml b/.travis.yml
index b87d7d4..82b2b03 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -170,11 +170,11 @@
script:
- JOB_NUMBER=$(echo $TRAVIS_JOB_NUMBER | sed -e 's:[0-9][0-9]*\.\(.*\):\1:')
- # cron & master => long tests, as this is the final step towards a Release
+ # cron & master => long tests, as this is the final step towards a Release
+ # dev => normal tests; other feature branches => short tests (number > 11)
- if [ "$TRAVIS_EVENT_TYPE" = "cron" ] || [ "$TRAVIS_BRANCH" = "master" ]; then
FUZZERTEST=-T10mn sh -c "$Cmd" || travis_terminate 1;
else
- # dev => normal tests; other feature branches => short tests (number > 11)
if [ "$TRAVIS_PULL_REQUEST" = "true" ] || [ $JOB_NUMBER -gt 11 ] || [ "$TRAVIS_BRANCH" = "dev" ]; then
sh -c "$Cmd" || travis_terminate 1;
fi