diff options
| author | George Kadianakis <desnacked@riseup.net> | 2019-03-26 01:17:58 +0200 |
|---|---|---|
| committer | George Kadianakis <desnacked@riseup.net> | 2019-03-26 01:17:58 +0200 |
| commit | 473decb24661411a3ebf9a34e89f6715e052f876 (patch) | |
| tree | e17d2250d8a187a6e41befe272489d06a59e5ea0 /scripts | |
| parent | c81b2b09eadf8ee8775f61831db055425bcf7d27 (diff) | |
| parent | a20a2025a5738cf5bcff52d36d88d3279af133e1 (diff) | |
| download | tor-473decb24661411a3ebf9a34e89f6715e052f876.tar.gz tor-473decb24661411a3ebf9a34e89f6715e052f876.zip | |
Merge branch 'tor-github/pr/839'
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/maint/practracker/util.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/maint/practracker/util.py b/scripts/maint/practracker/util.py index 63de72d5a3..b0ca73b997 100644 --- a/scripts/maint/practracker/util.py +++ b/scripts/maint/practracker/util.py @@ -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 - |