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