Re: [Xenomai-core] [BUG] rt_pipe_flush declaration missing in skins/native/pipe.h

Ignacio García Pérez wrote: Hi, The subject says it all. Fixed, thanks. PS: please send patches when possible, it's faster to handle for me and less likely to be forgotten in my job queue. TIA, Nacho. ___ Xenomai-core mailing list

Re: [Xenomai-core] [BUG] rt_pipe_flush declaration missing in skins/native/pipe.h

Ignacio García Pérez wrote: Hi, The subject says it all. Fixed, thanks. PS: please send patches when possible, it's faster to handle for me and less likely to be forgotten in my job queue. TIA, Nacho. ___ Xenomai-core mailing list

Re: [Xenomai-core] [BUG] rt_pipe_flush declaration missing in skins/native/pipe.h

Philippe Gerum wrote: Ignacio García Pérez wrote: Hi, The subject says it all. Fixed, thanks. PS: please send patches when possible, it's faster to handle for me and less likely to be forgotten in my job queue. TIA, I updated my source from the repository, and the

Re: [Xenomai-core] [BUG] rt_pipe_flush declaration missing in skins/native/pipe.h

Ignacio García Pérez wrote: Philippe Gerum wrote: Ignacio García Pérez wrote: Hi, The subject says it all. Fixed, thanks. PS: please send patches when possible, it's faster to handle for me and less likely to be forgotten in my job queue. TIA, I updated my source from the