Merge branch 'tor-github/pr/839'

This commit is contained in:
George Kadianakis 2019-03-26 01:17:58 +02:00
commit 473decb246

View File

@ -11,6 +11,8 @@ def get_tor_c_files(tor_topdir):
files_list = []
for root, directories, filenames in os.walk(tor_topdir):
directories.sort()
filenames.sort()
for filename in filenames:
# We only care about .c files
if not filename.endswith(".c"):
@ -24,4 +26,3 @@ def get_tor_c_files(tor_topdir):
files_list.append(full_path)
return files_list