diff options
Diffstat (limited to 'scripts/internal/generate_manifest.py')
-rwxr-xr-x | scripts/internal/generate_manifest.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/internal/generate_manifest.py b/scripts/internal/generate_manifest.py index a1ed6b38..3d3e83b0 100755 --- a/scripts/internal/generate_manifest.py +++ b/scripts/internal/generate_manifest.py @@ -23,12 +23,16 @@ def sh(cmd): def main(): - files = sh("git ls-files").split('\n') - for file in files: + files = [] + for file in sh("git ls-files").split('\n'): if file.startswith(SKIP_PREFIXES) or \ os.path.splitext(file)[1].lower() in SKIP_EXTS or \ file in SKIP_FILES: continue + if file not in files: + files.append(file) + + for file in files: print("include " + file) |