From 3287ea328f76da7e5ff6cc148fdbd5afe33099dd Mon Sep 17 00:00:00 2001 From: Giampaolo Rodola Date: Thu, 20 Apr 2023 00:22:49 +0200 Subject: fix failing users() test; update HISTORY; give CREDITS to @0-wiz-0 for #2241 Signed-off-by: Giampaolo Rodola --- scripts/internal/generate_manifest.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'scripts') diff --git a/scripts/internal/generate_manifest.py b/scripts/internal/generate_manifest.py index 3d3e83b0..b7ad8c7e 100755 --- a/scripts/internal/generate_manifest.py +++ b/scripts/internal/generate_manifest.py @@ -23,16 +23,15 @@ def sh(cmd): def main(): - files = [] + files = set() 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) + files.add(file) - for file in files: + for file in sorted(files): print("include " + file) -- cgit v1.2.1