diff options
author | Philip Sequeira <phsequei@gmail.com> | 2018-07-10 22:15:19 -0400 |
---|---|---|
committer | sfan5 <sfan5@live.de> | 2018-08-13 19:09:35 +0200 |
commit | c5d03d338ecd46d7170733822c37da4be027296f (patch) | |
tree | 349575625b055c00bb74737b5a51efcb2f488ec2 /player/loadfile.c | |
parent | 4e9e46b9f8871f46de3e1a192cbcb02d54ba0d52 (diff) | |
download | mpv-c5d03d338ecd46d7170733822c37da4be027296f.tar.bz2 mpv-c5d03d338ecd46d7170733822c37da4be027296f.tar.xz |
build: add --no-download option to bootstrap.py
With this option, the script will check that the expected waf version is
present, but will simply fail if it's not, rather than trying to
download it. This allows a package build script to avoid compile-time
network access but still ensure it's using the right waf version.
Diffstat (limited to 'player/loadfile.c')
0 files changed, 0 insertions, 0 deletions