mirror of
https://github.com/github/codeql.git
synced 2026-04-27 01:35:13 +02:00
Merge pull request #1216 from geoffw0/revert-microsoft
Approved by dave-bartolomeo, jbj
This commit is contained in:
@@ -309,12 +309,6 @@ class File extends Container, @file {
|
||||
) or exists(File parent |
|
||||
parent.compiledAsMicrosoft() and
|
||||
parent.getAnIncludedFile() = this
|
||||
) or (
|
||||
getAbsolutePath().charAt(1) = ":"
|
||||
// this is not ideal, it detects compilation on a Windows file system
|
||||
// as a heuristic approximation to compilation with a Microsoft compiler.
|
||||
) or (
|
||||
getAbsolutePath().charAt(1) = "/"
|
||||
)
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user