chiark / gitweb /
makebuildserver: quiet rsync for copy_caches_from_host
authorHans-Christoph Steiner <hans@eds.org>
Thu, 7 Dec 2017 14:56:09 +0000 (15:56 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 11 Dec 2017 21:11:16 +0000 (22:11 +0100)
makebuildserver

index 306c2845777ebc13a873e2fc500c50ca95262fed..f2faa09c1f8f2f39e3030e600ec5c77a3e39131b 100755 (executable)
@@ -561,7 +561,7 @@ def main():
                                         '-o PasswordAuthentication=no'))
                 # TODO vagrant 1.5+ provides `vagrant rsync`
                 run_via_vagrant_ssh(v, ['cd ~ && test -d', d, '|| mkdir -p', d])
-                subprocess.call(['rsync', '-axv', '--progress', '--delete', '-e',
+                subprocess.call(['rsync', '-ax', '--delete', '-e',
                                  ssh_command,
                                  fullpath + '/',
                                  user + '@' + hostname + ':~/' + d + '/'])