diff options
Diffstat (limited to 'gir/generate_source_list.py')
-rwxr-xr-x | gir/generate_source_list.py | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/gir/generate_source_list.py b/gir/generate_source_list.py deleted file mode 100755 index 96aaa50f..00000000 --- a/gir/generate_source_list.py +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/env python3 - -import sys -from glob import glob - -output_file = sys.argv[1] -glob_strs = sys.argv[2].split(',') -filter_str = tuple(sys.argv[3].split(',')) -extra_files = sys.argv[4:] - -with open(output_file, 'w') as file_: - for s in glob_strs: - for f in glob(s): - if filter_str == ' ' or not f.endswith(filter_str): - file_.write(f + '\n') - file_.write('\n'.join(extra_files)) |