diff options
| -rwxr-xr-x | bootstrap.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bootstrap.py b/bootstrap.py index d855de029b..04698014ef 100755 --- a/bootstrap.py +++ b/bootstrap.py @@ -5,15 +5,21 @@ from __future__ import print_function import os, sys, stat, hashlib +if os.path.exists("waf"): + print("Found 'waf', skipping download.") + sys.exit(0) + try: from urllib.request import urlopen except: from urllib2 import urlopen WAFRELEASE = "waf-1.7.13" +WAFURL = "https://waf.googlecode.com/files/" + WAFRELEASE SHA256HASH = "03cc750049350ee01cdbc584b70924e333fcc17ba4a2d04648dab1535538a873" -waf = urlopen("https://waf.googlecode.com/files/" + WAFRELEASE).read() +print("Downloading %s..." % WAFURL) +waf = urlopen(WAFURL).read() if SHA256HASH == hashlib.sha256(waf).hexdigest(): with open("waf", "wb") as wf: |