projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77de13b) | patch
xenomai: use install-user to remove patch
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Wed, 30 Oct 2013 22:41:45 +0000 (23:41 +0100)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Fri, 1 Nov 2013 14:40:06 +0000 (15:40 +0100)
commit344fc7aa0d9879a051753b972a587aed59a180c2
treef77dcf782d2e66c217ecfab9c8aa7027072df0d3tree
parent77de13ba5525f4efbfed6e3f30ab5e4b18ca3980commit | diff
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>
package/xenomai/xenomai-do-not-install-devices.patch [deleted file] blob | history
package/xenomai/xenomai.mk diff | blob | history