hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Bulk generator: Rename 'get_destination_for_project' to 'get_mad_destination_for_project'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-05-30 11:49:48 +01:00
parent 5d79a8de89
commit 7c89d6d6dd
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
misc/scripts/models-as-data/bulk_generate_mad.py
View File

@@ -370,7 +370,7 @@ def download_dca_databases(
return sorted(database_results, key=cmp_to_key(compare))
def get_destination_for_project(config, name: str) -> str:
def get_mad_destination_for_project(config, name: str) -> str:
return os.path.join(config["destination"], name)
@@ -395,7 +395,7 @@ def main(config, args) -> None:
# Check if any of the MaD directories contain working directory changes in git
for project in projects:
mad_dir = get_destination_for_project(config, project["name"])
mad_dir = get_mad_destination_for_project(config, project["name"])
if os.path.exists(mad_dir):
git_status_output = subprocess.check_output(
["git", "status", "-s", mad_dir], text=True
@@ -440,7 +440,7 @@ To avoid loss of data, please commit your changes."""
# Delete the MaD directory for each project
for project, database_dir in database_results:
mad_dir = get_destination_for_project(config, project)
mad_dir = get_mad_destination_for_project(config, project)
if os.path.exists(mad_dir):
print(f"Deleting existing MaD directory at {mad_dir}")
subprocess.check_call(["rm", "-rf", mad_dir])