Restore check-typo...

2018-07-11 19:38:14 +01:00 · 2018-07-11 19:38:14 +01:00 · 0c9c50b134
parent 60481d0d4b
commit 0c9c50b134
1 changed files with 1 additions and 1 deletions
--- a/tools/ci/travis/travis-ci.sh
+++ b/tools/ci/travis/travis-ci.sh
@ -61,7 +61,7 @@ case $TRAVIS_EVENT_TYPE in
     DEEPEN=50
     while ! git merge-base $TRAVIS_CUR_HEAD $TRAVIS_PR_HEAD > /dev/null 2>&1
     do
-       echo Deepening $TRAVIS_BRANCH by $DEEPEN commits in search of $TRAVIS_CUR_HEAD
+       echo Deepening $TRAVIS_BRANCH by $DEEPEN commits
       git fetch origin --deepen=$DEEPEN $TRAVIS_BRANCH
       ((DEEPEN*=2))
     done