ref: 65fc06ffc46d76633eb577a181a38fb9a4fa50f2
parent: 9562f08dfbe9c2ceb0ac8cb1d8973831fda53dd2
author: Paul Brossier <piem@piem.org>
date: Fri Jul 22 17:31:10 EDT 2016
Makefile: use scripts/get_waf.sh
--- a/Makefile
+++ b/Makefile
@@ -12,8 +12,7 @@
@[ -f waf ] || make getwaf
getwaf:
- @( which wget > /dev/null && wget -qO waf $(WAFURL) ) || ( which curl > /dev/null && curl $(WAFURL) > waf )
- @chmod +x waf
+ @./scripts/get_waf.sh
expandwaf:
@[ -d wafilb ] || rm -fr waflib