Module: xenomai-forge
Branch: master
Commit: ded1c7bc002bb6fa225a34dc6c0688b8fcdbc974
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=ded1c7bc002bb6fa225a34dc6c0688b8fcdbc974
Author: Philippe Gerum r...@xenomai.org
Date: Mon Jun 24 16:29:16 2013 +0200
include/cobalt: fix build
Module: xenomai-forge
Branch: next
Commit: ded1c7bc002bb6fa225a34dc6c0688b8fcdbc974
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=ded1c7bc002bb6fa225a34dc6c0688b8fcdbc974
Author: Philippe Gerum r...@xenomai.org
Date: Mon Jun 24 16:29:16 2013 +0200
include/cobalt: fix build