diff options
Diffstat (limited to 'scripts/glibcsymbols.py')
-rw-r--r-- | scripts/glibcsymbols.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/glibcsymbols.py b/scripts/glibcsymbols.py index e329ead7f2..1bdd19e51e 100644 --- a/scripts/glibcsymbols.py +++ b/scripts/glibcsymbols.py @@ -63,7 +63,10 @@ def read_abilist(path): with open(path) as inp: for line in inp: version, symbol, flags = line.strip().split(' ', 2) - result[VersionedSymbol(symbol, version)] = flags + versym = VersionedSymbol(symbol, version) + if versym in result: + raise IOError("{}: duplicate symbol {}".format(path, versym)) + result[versym] = flags return result def abilist_lines(symbols): |