diff options
| -rwxr-xr-x | configure.py | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/configure.py b/configure.py index 554e205..4a1c679 100755 --- a/configure.py +++ b/configure.py @@ -143,12 +143,8 @@ for target in targets: manifest_deps.add(subdir_list_file) for src in open(subdir_list_file).readlines(): src = src.rstrip() - # Only add the base filename (e.g. Add get_global_id instead of - # get_global_id.cl) to sources_seen. - # This allows targets to overide generic .cl sources with .ll sources. - src_base = os.path.splitext(src)[0] - if src_base not in sources_seen: - sources_seen.add(src_base) + if src not in sources_seen: + sources_seen.add(src) obj = os.path.join(target, 'lib', src + '.bc') objects.append(obj) src_file = os.path.join(libdir, src) |