diff options
Diffstat (limited to 'pcr/waf/wafdir.patch')
| -rw-r--r-- | pcr/waf/wafdir.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pcr/waf/wafdir.patch b/pcr/waf/wafdir.patch deleted file mode 100644 index 344738adf..000000000 --- a/pcr/waf/wafdir.patch +++ /dev/null @@ -1,16 +0,0 @@ -diff --git a/waf-light b/waf-light -index 308eaae..2c75d2e 100755 ---- a/waf-light -+++ b/waf-light -@@ -146,8 +146,9 @@ def find_lib(): - - dirname = '%s-%s-%s' % (WAF, VERSION, REVISION) - for i in (INSTALL,'/usr','/usr/local','/opt'): -- w = test(i + '/lib/' + dirname) -- if w: return w -+ for wafdir in ('waf', dirname): -+ w = test(i + '/lib/' + wafdir) -+ if w: return w - - #waf-local - dir = join(base, (sys.platform != 'win32' and '.' or '') + dirname) |