Thomas Petazzoni 344fc7aa0d xenomai: use install-user to remove patch ...

As noted by "George" in bug #6416, the xenomai-do-not-install-devices
patch is not needed, since Xenomai provides a "install-user" target to
only install the libraries/headers and not the device files. This
patch changes xenomai.mk to use 'install-user' and removes the useless
patch.

Fixes bug #6416.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>

2013-11-01 15:40:06 +01:00

..

Config.in

Config.in files: unify comments of toolchain option dependencies

2013-10-14 22:45:57 +02:00

xenomai.mk

xenomai: use install-user to remove patch

2013-11-01 15:40:06 +01:00