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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions