diff options
Diffstat (limited to 'bootstrap.py')
-rwxr-xr-x | bootstrap.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bootstrap.py b/bootstrap.py index 2e304545cc..9df0761df6 100755 --- a/bootstrap.py +++ b/bootstrap.py @@ -16,6 +16,10 @@ if os.path.exists("waf"): print("Found 'waf', skipping download.") sys.exit(0) +if "--no-download" in sys.argv[1:]: + print("Did not find {} and no download was requested.".format(WAFRELEASE)) + sys.exit(1) + try: from urllib.request import urlopen, URLError except: |