On Wed, 2007-03-07 at 23:57 +0100, Gilles Chanteperdrix wrote:
> Paul wrote:
> > xenomai-dev - Headers, static libs, and xeno-config. I would have liked to
> > move the headers in to a /usr/include/xenomai directory, but there appears
> > be a minor issue with the --includedir option.
> The attached patch should solve this issue.
Xenomai-core mailing list