diff options
| -rw-r--r-- | tools/list-discoverable-partitions.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/list-discoverable-partitions.py b/tools/list-discoverable-partitions.py index e9a3dce11d..2ad179c776 100644 --- a/tools/list-discoverable-partitions.py +++ b/tools/list-discoverable-partitions.py @@ -169,10 +169,16 @@ def generate(defines): print(HEADER, end='') + uuids = set() + for type, arch, uuid in defines: tdesc = TYPES[type] adesc = '' if arch is None else f' ({ARCHITECTURES[arch]})' + # Let's make sure that we didn't select&paste the same value twice + assert uuid not in uuids + uuids.add(uuid) + if type != prevtype: prevtype = type morea, moreb = DESCRIPTIONS[type] |