xenomai: add support to keep or remove skins
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sat, 17 Sep 2011 20:22:56 +0000 (22:22 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Sun, 18 Sep 2011 21:00:07 +0000 (23:00 +0200)
commit4b78a5008995d459399a38692d436eceb7c2278d
tree692ded35210a88c68eab728be1fba373ce61d699
parent60d48220525f154ee43b2fbe3137a393ebacd4a4
xenomai: add support to keep or remove skins

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
package/xenomai/Config.in
package/xenomai/xenomai.mk