diff options
author | wm4 <wm4@nowhere> | 2013-11-24 17:00:12 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2013-11-24 17:00:26 +0100 |
commit | dc87c5e4521c2e9e0e67a7afac485276df29fdbd (patch) | |
tree | 50e9abf4ac1ec6741bd81b271befaf5045155634 /video | |
parent | efa7f8f376973f42f60b30f0367aca899f8fc60d (diff) | |
download | mpv-dc87c5e4521c2e9e0e67a7afac485276df29fdbd.tar.bz2 mpv-dc87c5e4521c2e9e0e67a7afac485276df29fdbd.tar.xz |
bootstrap.py: skip download if waf already exists
It seems like a good idea not to generate any additional network traffic
and wait times if we don't have to.
Also print the URL it's downloading from.
Note that if we require a newer waf release, there will be a problem.
Running ./bootstrap.py won't get the newest waf version anymore in case
the old version is in the source dir. Not sure how to handle this.
Diffstat (limited to 'video')
0 files changed, 0 insertions, 0 deletions