diff options
Diffstat (limited to 'scripts/travis_build')
-rwxr-xr-x | scripts/travis_build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis_build b/scripts/travis_build index ed2fdd0a..9d431e39 100755 --- a/scripts/travis_build +++ b/scripts/travis_build @@ -13,7 +13,7 @@ cd build cmake .. make cd tests -ctest +ctest -j 2 --schedule-random --repeat-until-fail 3 cd ../.. # update docs if we are on the master branch |