From d9aec564f3c76ed1c411bf021bd5cea0c7796484 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beat=20K=C3=BCng?= Date: Fri, 7 May 2021 15:39:54 +0200 Subject: [PATCH] px_process_events.py: canonicalize + remove duplicate source files --- Tools/px_process_events.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/Tools/px_process_events.py b/Tools/px_process_events.py index 568d1bd415..66e9aaa529 100755 --- a/Tools/px_process_events.py +++ b/Tools/px_process_events.py @@ -79,9 +79,14 @@ def main(): # Scan directories, and parse the files if args.verbose: - print("Scanning source path " + str(args.src_path)) + print("Scanning source path/files " + str(args.src_path)) - if not scanner.ScanDir(args.src_path, parser): + # canonicalize + remove duplicates + src_paths = set() + for path in args.src_path: + src_paths.add(os.path.realpath(path)) + + if not scanner.ScanDir(src_paths, parser): sys.exit(1) events = parser.events