зеркало из https://github.com/mozilla/gecko-dev.git
Backed out changeset f87e93861239 (bug 649607) for causing bug 901921
This commit is contained in:
Родитель
7a45806f08
Коммит
3b343a9423
Разница между файлами не показана из-за своего большого размера
Загрузить разницу
|
@ -11,7 +11,8 @@ import os
|
|||
|
||||
def get_build_entries(root_path):
|
||||
""" Iterates through the root_path, creating a list for each file and
|
||||
directory. Excludes any file paths ending with channel-prefs.js.
|
||||
directory. Excludes any path starting with extensions or distribution
|
||||
and paths ending with channel-prefs.js.
|
||||
"""
|
||||
rel_file_path_set = set()
|
||||
rel_dir_path_set = set()
|
||||
|
@ -20,14 +21,18 @@ def get_build_entries(root_path):
|
|||
parent_dir_rel_path = root[len(root_path)+1:]
|
||||
rel_path_file = os.path.join(parent_dir_rel_path, file_name)
|
||||
rel_path_file = rel_path_file.replace("\\", "/")
|
||||
if not (rel_path_file.endswith("channel-prefs.js")):
|
||||
if not (rel_path_file.startswith("distribution/") or
|
||||
rel_path_file.startswith("extensions/") or
|
||||
rel_path_file.endswith("channel-prefs.js")):
|
||||
rel_file_path_set.add(rel_path_file)
|
||||
|
||||
for dir_name in dirs:
|
||||
parent_dir_rel_path = root[len(root_path)+1:]
|
||||
rel_path_dir = os.path.join(parent_dir_rel_path, dir_name)
|
||||
rel_path_dir = rel_path_dir.replace("\\", "/")+"/"
|
||||
rel_dir_path_set.add(rel_path_dir)
|
||||
if not (rel_path_dir.startswith("distribution/") or
|
||||
rel_path_dir.startswith("extensions/")):
|
||||
rel_dir_path_set.add(rel_path_dir)
|
||||
|
||||
rel_file_path_list = list(rel_file_path_set)
|
||||
rel_file_path_list.sort(reverse=True)
|
||||
|
|
Загрузка…
Ссылка в новой задаче