hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 14:23:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make objects-map-changed warning non-fatal

Browse Source
This commit is contained in:
Chris Smowton
2022-05-10 14:30:51 +01:00
parent 3c4b5202e3
commit d330033908
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
extractor/extractor.go
View File

@@ -466,8 +466,7 @@ func extractObjectTypes(tw *trap.Writer) {
}
changed = tw.ForEachObject(emitObjectType)
if changed {
// TODO: Make this non-fatal before commiting
log.Fatalf("Warning: more objects were labeled while emitted object types")
log.Printf("Warning: more objects were labeled while emitted object types")
}
}