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/core.h | |
| parent | 4e9e46b9f8871f46de3e1a192cbcb02d54ba0d52 (diff) | |
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/core.h')
0 files changed, 0 insertions, 0 deletions