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.
16 lines
386 B
Plaintext
16 lines
386 B
Plaintext
import java
|
|
|
|
private string getArgument(Compilation c, int i) {
|
|
exists(string arg | arg = c.getArgument(i) |
|
|
if exists(arg.indexOf("-Xplugin="))
|
|
then result = "<PLUGINS>"
|
|
else
|
|
if c.getArgument(i - 1) = ["-classpath", "-jdk-home"]
|
|
then result = "<PATH>"
|
|
else result = arg
|
|
)
|
|
}
|
|
|
|
from Compilation c, int i
|
|
select i, getArgument(c, i).replaceAll("\\", "/")
|