On Thu, Apr 03, 2008 at 11:37:31AM +0200, Philippe Gerum wrote:
Robert Schwebel wrote:
This patch adds static analysis support with sparse to the xenomai-solo
makefiles. To enable sparse checking, use
./configure --with-sparse[=PATH]
and run 'make sparse' afterwards. I don't
Robert Schwebel wrote:
This patch adds static analysis support with sparse to the xenomai-solo
makefiles. To enable sparse checking, use
./configure --with-sparse[=PATH]
and run 'make sparse' afterwards. I don't have a good idea right now how
to avoid this extra step; it would be
This patch adds static analysis support with sparse to the xenomai-solo
makefiles. To enable sparse checking, use
./configure --with-sparse[=PATH]
and run 'make sparse' afterwards. I don't have a good idea right now how
to avoid this extra step; it would be much nicer if every call to