Wed, 16 Nov 2011 12:50:16 +0100Xenomai build now ignores xeno-config if not set
Edouard Tisserant [Wed, 16 Nov 2011 12:50:16 +0100] rev 633
Xenomai build now ignores xeno-config if not set