From 7de6b8ac158c5c03aa3f138941f9a906d0c83b57 Mon Sep 17 00:00:00 2001
From: Ralf Becker <RalfBecker@outdoor-training.de>
Date: Sat, 23 Feb 2019 12:29:40 +0100
Subject: [PATCH] fix double echo of git command on --verbose

---
 install-cli.php | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/install-cli.php b/install-cli.php
index 82481c8219..853d2222cc 100755
--- a/install-cli.php
+++ b/install-cli.php
@@ -251,11 +251,7 @@ foreach(scandir(__DIR__) as $dir)
 			$cmd .= "$git pull --rebase && ";
 		}
 		$cmd .= "(test -z \"$($git stash list)\" || $git stash pop)";
-		if ($verbose)
-		{
-			echo "$cmd\n";
-		}
-		elseif ($dir !== '.')
+		if ($dir !== '.' && !$verbose)
 		{
 			echo $dir.': ';
 		}