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.': '; }