mirror of
https://github.com/github/codeql.git
synced 2025-12-18 09:43:15 +01:00
We are no longer bound to the platform-specific directories, so simplify the test organization. If you don't want this change, just skip merging this PR. It's purely optional. I kept the platform-specific directories around under `kotlin`, but you could also easily merge all these together if you find them unhelpful. I'll leave that change to you.
14 lines
312 B
Python
14 lines
312 B
Python
import runs_on
|
|
|
|
|
|
@runs_on.posix
|
|
def test(codeql, java_full):
|
|
codeql.database.create(
|
|
command=[
|
|
"kotlinc test1.kt",
|
|
"kotlinc test2.kt -module-name mymodule",
|
|
'kotlinc test3.kt -module-name reservedchars\\"${}/',
|
|
"javac User.java -cp .",
|
|
]
|
|
)
|