Skip to content

Commit 19b7e9e

Browse files
authored
Merge pull request github#10997 from github/henrymercer/go-extract-file-locations
Go: Extract locations of successfully extracted files
2 parents 5ef99ca + c1984ea commit 19b7e9e

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

go/ql/src/Diagnostics/SuccessfullyExtractedFiles.ql

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,7 @@
99
import go
1010

1111
from File f
12-
where not exists(Error e | e.getFile() = f)
13-
select f.getRelativePath()
12+
where
13+
not exists(Error e | e.getFile() = f) and
14+
exists(f.getRelativePath())
15+
select f, ""
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
| query-tests/Diagnostics/util.go |
1+
| util.go:0:0:0:0 | util.go | |

0 commit comments

Comments
 (0)