From 92ae2e0f6537b633d020ba5781e0a1c038b34c10 Mon Sep 17 00:00:00 2001 From: Xunjin ZHENG Date: Wed, 13 Dec 2023 11:21:23 +0800 Subject: [PATCH] fix cfamily extract error --- cli/extractor/extractor.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/cli/extractor/extractor.py b/cli/extractor/extractor.py index 290257dd..205efe6e 100644 --- a/cli/extractor/extractor.py +++ b/cli/extractor/extractor.py @@ -31,11 +31,11 @@ def __init__(self): def cfamily_extractor_cmd(source_root, database, options): - cmd = list() - cmd += [str(Extractor.cfamily_extractor)] - cmd += ["--compile-commands=", str(source_root)] - cmd += ["--output-db-path=", str(database)] - return cmd + return [ + str(Extractor.cfamily_extractor), + f"--compile-commands={source_root}", + f"--output-db-path={database}" + ] def go_extractor_cmd(source_root, database, options):