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 
> to 
>  > be a minor issue with the --includedir option.
> 
> The attached patch should solve this issue.
> 

Merged, thanks.

-- 
Philippe.



_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to