Bug 1763257 - ipdl parser's duplicate definition check should do case-insensitive filename comparisons to avoid being confused, r=mccr8

Differential Revision: https://phabricator.services.mozilla.com/D143052
This commit is contained in:
Gijs Kruitbosch 2022-04-06 14:54:47 +00:00
Родитель 86ba751d18
Коммит ce3b4cdbc5
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -61,7 +61,7 @@ class Parser:
if self.tu.name in Parser.parsed:
priorTU = Parser.parsed[self.tu.name].tu
if priorTU.filename != filename:
if os.path.normcase(priorTU.filename) != os.path.normcase(filename):
_error(
Loc(filename),
"Trying to load `%s' from a file when we'd already seen it in file `%s'"