[Buildroot] [PATCH] xenomai: use install-user to remove patch

Thomas Petazzoni thomas.petazzoni at free-electrons.com
Fri Nov 1 14:42:03 UTC 2013


Dear Thomas Petazzoni,

On Wed, 30 Oct 2013 23:41:45 +0100, Thomas Petazzoni wrote:
> 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 at free-electrons.com>
> ---
>  package/xenomai/xenomai-do-not-install-devices.patch | 11 -----------
>  package/xenomai/xenomai.mk                           |  2 ++
>  2 files changed, 2 insertions(+), 11 deletions(-)
>  delete mode 100644 package/xenomai/xenomai-do-not-install-devices.patch

Applied to for-peter-2013.11, thanks!

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com


More information about the buildroot mailing list