diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2020-01-21 01:02:25 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2020-01-21 01:02:25 -0500 |
commit | dcd69ebfad09c17b320c5f124bf280615333a051 (patch) | |
tree | 71d43e9a6adef58b1bf6f99ff6aebe703ca73e33 /pcr/waf/wafdir.patch | |
parent | 7bb45d7a7b600709da6f0b1d7b608d1a0bd85053 (diff) | |
download | abslibre-dcd69ebfad09c17b320c5f124bf280615333a051.tar.gz abslibre-dcd69ebfad09c17b320c5f124bf280615333a051.tar.bz2 abslibre-dcd69ebfad09c17b320c5f124bf280615333a051.zip |
Removing waf: This package is in [community] repo
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) |