projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 556fb0d) | patch
package/xenomai: smokey's not a skin
authorJan Kiszka <jan.kiszka@siemens.com>
Thu, 19 Dec 2019 08:24:31 +0000 (09:24 +0100)
committerYann E. MORIN <yann.morin.1998@free.fr>
Thu, 19 Dec 2019 18:15:18 +0000 (19:15 +0100)
commit1b2d925fe8f0299f99d4c43f0ca372db3410e8df
tree1c79acd82eb8975f82912411153c13903bc6dd3btree
parent556fb0d6b6a52abaca508a8b80d79954134bc4b6commit | diff
package/xenomai: smokey's not a skin

That's a testsuite tool.

Rename XENOMAI_REMOVE_SKIN_LIST at this chance as it's cleaning
libraries, not only skins. Ditto, rename the hook accordingly.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
[yann.morin.1998@free.fr: also rename the hook]
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
package/xenomai/Config.in diff | blob | history
package/xenomai/xenomai.mk diff | blob | history