diff options
Diffstat (limited to 'package/xenomai/xenomai-do-not-install-devices.patch')
| -rw-r--r-- | package/xenomai/xenomai-do-not-install-devices.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/package/xenomai/xenomai-do-not-install-devices.patch b/package/xenomai/xenomai-do-not-install-devices.patch deleted file mode 100644 index 348abee4b1..0000000000 --- a/package/xenomai/xenomai-do-not-install-devices.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/Makefile.in 2011-06-24 16:11:23.591449817 +0200 -+++ b/Makefile.in 2011-06-24 16:20:29.638129633 +0200 -@@ -719,7 +719,7 @@ - $$sudo mknod -m 666 $(DESTDIR)/dev/rtheap c 10 254 ; \ - fi - --install-exec-local: devices -+install-exec-local: - - install-user: - $(MAKE) SUDO=false install |
