build.py: include geo tools media
This commit is contained in:
parent
e398e758c5
commit
1089080b0a
1 changed files with 9 additions and 1 deletions
|
@ -226,7 +226,15 @@ def filter_source(tarinfo):
|
||||||
name = tarinfo.name
|
name = tarinfo.name
|
||||||
if re.search('^[._]', name) or re.search('/[._]', name) or re.search('~$', name):
|
if re.search('^[._]', name) or re.search('/[._]', name) or re.search('~$', name):
|
||||||
return None
|
return None
|
||||||
if re.search('^OxJS/(downloads|tools/geo/png/icons)', name):
|
if re.search('^OxJS/downloads', name):
|
||||||
|
return None
|
||||||
|
if name == 'OxJS/tools/geo/png/icons.png':
|
||||||
|
return None
|
||||||
|
if re.search('^OxJS/tools/geo/png/icons/', name) and (
|
||||||
|
not re.search('4096', name) or not os.path.exists(
|
||||||
|
name.replace('OxJS/', '../../').replace('icons/4096', 'flags')
|
||||||
|
)
|
||||||
|
):
|
||||||
return None
|
return None
|
||||||
return tarinfo
|
return tarinfo
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue