From 1089080b0abe2695c2a3a70eb98d21d2b42e78b0 Mon Sep 17 00:00:00 2001 From: rolux Date: Mon, 18 Jun 2012 12:10:33 +0200 Subject: [PATCH] build.py: include geo tools media --- tools/build/build.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/tools/build/build.py b/tools/build/build.py index 3163b67b..dd025173 100755 --- a/tools/build/build.py +++ b/tools/build/build.py @@ -226,7 +226,15 @@ def filter_source(tarinfo): name = tarinfo.name if re.search('^[._]', name) or re.search('/[._]', name) or re.search('~$', name): 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 tarinfo