14 lines
426 B
Diff
14 lines
426 B
Diff
diff -up waf-2.0.18/waf-light.orig waf-2.0.18/waf-light
|
|
--- waf-2.0.18/waf-light.orig 2019-07-14 10:41:10.000000000 +0200
|
|
+++ waf-2.0.18/waf-light 2019-10-05 17:55:42.254788427 +0200
|
|
@@ -152,6 +152,9 @@ def find_lib():
|
|
w = test(i + '/lib/' + dirname)
|
|
if w: return w
|
|
|
|
+ w = test('/usr/share/%s' % WAF)
|
|
+ if w: return w
|
|
+
|
|
#waf-local
|
|
dir = join(base, (sys.platform != 'win32' and '.' or '') + dirname)
|
|
w = test(dir)
|