From ccaf340d85eec0d8c0b6d092d227a10f81d2d50a Mon Sep 17 00:00:00 2001
From: Leo Balter <leonardo.balter@gmail.com>
Date: Wed, 23 Aug 2017 13:45:33 -0400
Subject: [PATCH] silence the make.py clean command on Travis (#1194)

---
 tools/scripts/ci_build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/scripts/ci_build.sh b/tools/scripts/ci_build.sh
index 478880c2a5..86dc03bc14 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