1
mirror of https://github.com/mpv-player/mpv synced 2024-09-28 17:52:52 +02:00

bootstrap: update waf website and version

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Signed-off-by: wm4 <wm4@nowhere>
This commit is contained in:
Timothy Gu 2014-06-17 19:27:04 -07:00 committed by wm4
parent 504f67a759
commit 86e5f15592

View File

@ -5,9 +5,9 @@
from __future__ import print_function from __future__ import print_function
import os, sys, stat, hashlib, subprocess import os, sys, stat, hashlib, subprocess
WAFRELEASE = "waf-1.7.15" WAFRELEASE = "waf-1.7.16"
WAFURL = "https://waf.googlecode.com/files/" + WAFRELEASE WAFURL = "http://ftp.waf.io/pub/release/" + WAFRELEASE
SHA256HASH = "e5ae7028f9b2d8ce1acb9fe1092e8010a90ba764d3ac065ea4e846743290b1d6" SHA256HASH = "b64dc26c882572415fd450b745006107965f3fe17b357e3eb43d6676c9635a61"
if os.path.exists("waf"): if os.path.exists("waf"):
wafver = subprocess.check_output(['./waf', '--version']).decode() wafver = subprocess.check_output(['./waf', '--version']).decode()