use the extractor option directly instead

erik-krogh · erik-krogh · commit a694928dd34f · 2023-12-15T10:39:36.000+01:00
diff --git a/javascript/ql/integration-tests/all-platforms/no-types/test.py b/javascript/ql/integration-tests/all-platforms/no-types/test.py
@@ -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"])

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`from create_database_utils import *`
`2`	`2`
`3`		`-run_codeql_database_create([], lang="javascript", extra_env={"CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES": "true"})`
	`3`	`+run_codeql_database_create([], lang="javascript", extra_args=["-Oskip_types=true"])`