summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristoph Reiter <reiter.christoph@gmail.com>2019-01-06 11:44:10 +0100
committerChristoph Reiter <reiter.christoph@gmail.com>2019-01-06 11:44:10 +0100
commited76055476f70d9b41b2357b3b2be61d1a8eb21c (patch)
treee85d89d02028191554932fb747659adedc554e13
parent4e1ada2070a2626c82bd510f5165e5557c7d0608 (diff)
downloadgobject-introspection-ed76055476f70d9b41b2357b3b2be61d1a8eb21c.tar.gz
meson: remove an unused helper script
-rwxr-xr-xgir/generate_source_list.py16
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))