Bug 1177634 - Ensure EXTERNAL_SOURCE_DIR uses normcase. r=glandium

This commit is contained in:
Edmund Wong 2015-07-08 08:11:15 +08:00
parent 218ffaae77
commit 1064b3e0ee

View File

@ -146,9 +146,11 @@ def is_read_allowed(path, config):
if mozpath.basedir(path, [topsrcdir]):
return True
if config.external_source_dir and \
mozpath.basedir(path, [config.external_source_dir]):
return True
if config.external_source_dir:
external_dir = os.path.normcase(config.external_source_dir)
norm_path = os.path.normcase(path)
if mozpath.basedir(norm_path, [external_dir]):
return True
return False