aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2019-12-19 18:03:34 +0100
committerPierre-Marie Pédrot2019-12-22 14:04:01 +0100
commitfcd903c299db00d5c8d3e2fa797404eb880b61ac (patch)
treed1d339cb530d2f8e0c4afd11f49fb810383eb5ec /dev
parent9c75b6a6582620e2fb9a39c1ea1aa46a321af6a7 (diff)
Ensure that a custom entry cannot be defined twice.
This highlights the fact that diamond inheritance of a custom entry is a tricky problem, as well as merely importing two custom entries with the same name from two different modules. The only sane way to give a semantics to that is to stick to module-scoped objects, i.e. give those entries a kernel name. In the meantime, I went for a warning when overriding entries.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions