diff options
author | Leo Balter <leonardo.balter@gmail.com> | 2017-08-23 13:45:33 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-23 13:45:33 -0400 |
commit | ccaf340d85eec0d8c0b6d092d227a10f81d2d50a (patch) | |
tree | 18a162a515fe36abdcb78ab8ed4e21191014cbad /tools | |
parent | 8422147c17aa3f4061e524a8f88c251a3b371ecf (diff) |
silence the make.py clean command on Travis (#1194)
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/scripts/ci_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/scripts/ci_build.sh b/tools/scripts/ci_build.sh index 478880c2a..86dc03bc1 100755 --- a/tools/scripts/ci_build.sh +++ b/tools/scripts/ci_build.sh @@ -1,6 +1,6 @@ #!/bin/sh if [ $TRAVIS_PULL_REQUEST != "false" ]; then - ./make.py clean + ./make.py clean > /dev/null fi ./make.py if [ -n "$(git status --porcelain)" -a $TRAVIS_PULL_REQUEST != "false" ]; then |