Module: xenomai-head Branch: master Commit: 16169ac84aa154321cb0998934f26df93b05d225 URL: http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=16169ac84aa154321cb0998934f26df93b05d225
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org> Date: Wed Nov 2 17:57:01 2011 +0100 doc: remove references to the now removed option --enable-linux-build --- README.INSTALL | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/README.INSTALL b/README.INSTALL index d9b201b..1cd5fb0 100644 --- a/README.INSTALL +++ b/README.INSTALL @@ -27,10 +27,6 @@ separately from the kernel support, even if the latter is absent from the build system. Section 1.3 documents the installation process of this user-space support. -Finally, Xenomai build system also allows building a Xenomai patched -kernel as part of the user space support compilation process. Section -1.4 documents this possibility. - 1. Installation steps --------------------- _______________________________________________ Xenomai-git mailing list Xenomai-git@gna.org https://mail.gna.org/listinfo/xenomai-git