projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26e5aea) | patch
genmoddep: Check that no modules provide the same symbol.
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 14 Aug 2017 12:10:48 +0000 (14:10 +0200)
committerVladimir Serbinenko <phcoder@gmail.com>
Mon, 14 Aug 2017 12:10:48 +0000 (14:10 +0200)
commit3732816bc08ef605ed3b6c016ff0ed562829f243
tree753fd10f112bc09b6c3a4a997b068dc474c4bd01tree | snapshot
parent26e5aea9418aab83df0debd0c672086fa9f2d9c8commit | diff
genmoddep: Check that no modules provide the same symbol.

The semantics of 2 modules providing the same symbol are undefined. So
ensure that it doesn't happen.
grub-core/genmoddep.awk diff | blob | history
GRUB2 development