Update CodeQL convenience script

marcransome · Dec 23, 2023 · 8167402 · 8167402
1 parent bad3dc9
commit 8167402
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tool/codeql-create-database b/tool/codeql-create-database
@@ -9,4 +9,4 @@ cd "${parent_dir}/.."
 [[ -d "${build_dir}" ]] && rm -rf "${build_dir}"
 [[ -d "${codeql_db_dir}" ]] && rm -rf "${codeql_db_dir}"
 
-codeql database create "${codeql_db_dir}" --source-root="./src" --language="cpp" --command="cmake -S .. -B ../${build_dir}" --command="cmake --build ../build"
+codeql database create "${codeql_db_dir}" --source-root="./src" --language="cpp" --command="meson setup build" --command="ninja -C build"