xenomai: requires thread support
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thu, 18 Jul 2013 21:56:23 +0000 (23:56 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Thu, 18 Jul 2013 22:32:51 +0000 (00:32 +0200)
commit4e0ddff690080f5bac47aedebc9c48b9cd74bd49
tree0ce7e4471b2782387e8326b41a210f59bee3cf7d
parentc34cd9e2dab7c37bb0bdea6f43e57addf2b710e2
xenomai: requires thread support

Fixes
http://autobuild.buildroot.org/results/c99/c9912b2c21594350945c8a64528bb6a9b34d6292/build-end.log.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
linux/Config.ext.in
package/xenomai/Config.in