Avi Kivity 76628a7b0b dist: make wget quieter ...

wget is often used from scripts recording to logs; as it emits a log
line every second, the logs are huge and unreadable.  Make it quieter.

Message-Id: <1477558534-32718-1-git-send-email-avi@scylladb.com>

2016-10-27 12:11:26 +03:00

..

redhat

dist/docker: Add '--listen-address' to 'docker run'

2016-10-04 13:57:55 +03:00

ubuntu

dist: make wget quieter

2016-10-27 12:11:26 +03:00