mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
321820e758
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.
7 lines
153 B
Python
7 lines
153 B
Python
import commands
|
|
|
|
|
|
def test(codeql, java_full):
|
|
commands.run("kotlinc lib.kt -d lib")
|
|
codeql.database.create(command=["kotlinc user.kt -cp lib"])
|