[PATCH 18/20] - omit the output, we are just interested in the result

Steffen Pankratz kratz00 at gmx.de
Mi Jul 15 21:48:04 CEST 2015


Signed-off-by: Steffen Pankratz <kratz00 at gmx.de>
---
 buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildscript b/buildscript
index 78e7fb5..95bf243 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"
-- 
2.4.5




Mehr Informationen über die Mailingliste franken-dev