diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-10-30 23:41:45 +0100 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-11-01 15:40:06 +0100 |
| commit | 344fc7aa0d9879a051753b972a587aed59a180c2 (patch) | |
| tree | f77dcf782d2e66c217ecfab9c8aa7027072df0d3 /docs/manual/manual.mk | |
| parent | 77de13ba5525f4efbfed6e3f30ab5e4b18ca3980 (diff) | |
| download | buildroot-344fc7aa0d9879a051753b972a587aed59a180c2.tar.gz buildroot-344fc7aa0d9879a051753b972a587aed59a180c2.zip | |
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>
Diffstat (limited to 'docs/manual/manual.mk')
0 files changed, 0 insertions, 0 deletions
