This bug was fixed in the package xenomai - 2.6.2.1-2ubuntu2
--------------- xenomai (2.6.2.1-2ubuntu2) saucy; urgency=low
* Do not strip the testsuite. Should work-around a build failure. -- Dmitry Shachnev <email address hidden> Sat, 08 Jun 2013 18:41:52 +0400
This bug was fixed in the package xenomai - 2.6.2.1-2ubuntu2
---------------
xenomai (2.6.2.1-2ubuntu2) saucy; urgency=low
* Do not strip the testsuite. Should work-around a build failure.
-- Dmitry Shachnev <email address hidden> Sat, 08 Jun 2013 18:41:52 +0400