From dc87c5e4521c2e9e0e67a7afac485276df29fdbd Mon Sep 17 00:00:00 2001 From: wm4 Date: Sun, 24 Nov 2013 17:00:12 +0100 Subject: 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. --- bootstrap.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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: -- cgit v1.2.3