diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-29 11:35:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-29 11:35:48 +0200 |
| commit | 4af5c2a0093500b66a20c5da518884fe0a31f64c (patch) | |
| tree | 77538363418bd2995d6dead0f0c8c709ecac43e2 /methods.py | |
| parent | b6c170165c09c24f0b3ae224e204ae62ac75c325 (diff) | |
| parent | 83b856c0465c40ecd9768508f31d3e337e1a64e1 (diff) | |
Merge pull request #21553 from bmwiedemann/sort
Sort list of input files
Diffstat (limited to 'methods.py')
| -rw-r--r-- | methods.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/methods.py b/methods.py index 7aa06f04b8..1bc10954ba 100644 --- a/methods.py +++ b/methods.py @@ -13,7 +13,7 @@ def add_source_files(self, sources, filetype, lib_env=None, shared=False): if isbasestring(filetype): dir_path = self.Dir('.').abspath - filetype = glob.glob(dir_path + "/" + filetype) + filetype = sorted(glob.glob(dir_path + "/" + filetype)) for path in filetype: sources.append(self.Object(path)) |