From daec0b949a03fb6a0dcde700363f9c5e0676c9ee Mon Sep 17 00:00:00 2001 From: Steffen Pankratz Date: Fri, 17 Jul 2015 18:47:14 +0200 Subject: [PATCH] - omit the output, we are just interested in the result Signed-off-by: Steffen Pankratz Reviewed-by: Tim Niemeyer --- buildscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/buildscript b/buildscript index d6583382..f8d8a43a 100755 --- a/buildscript +++ b/buildscript @@ -43,7 +43,7 @@ checkout_git(){ local MYGIT="git -C $DIRECTORY" echo "checking out $REPO_URL to $DIRECTORY in version $COMMITID" if [ -d $DIRECTORY ]; then - if $MYGIT remote -v | grep $REPO_URL ; then + if $MYGIT remote -v | grep -q $REPO_URL ; then echo "Right remote detected" if ! $MYGIT checkout $COMMITID ; then echo "commitid not found trying to fetch new commits"