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

use the extractor option directly instead

Browse Source
This commit is contained in:
erik-krogh
2023-12-15 10:39:36 +01:00
parent 9c520778c7
commit a694928dd3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/ql/integration-tests/all-platforms/no-types/test.py
View File

@@ -1,3 +1,3 @@
from create_database_utils import *
run_codeql_database_create([], lang="javascript", extra_env={"CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES": "true"})
run_codeql_database_create([], lang="javascript", extra_args=["-Oskip_types=true"])