On 01/31/2014 08:00 AM, Huub Van Niekerk wrote:
> Does this mean I have to re-download your patch, clean up xenomai, patch it
> and run debuild again ?
It means that Paul's fix has been merged in xenomai repository. So, if
you are building from the git repository, you have to do a "git pull" to
get the update. If you are not building from the git repository, then
you have to wait for Xenomai next release to see the fix.
Also, the xenomai mailing list is an old fashioned mailing list where we
prefer bottom posting than top posting. So, please avoid top posting.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
