beremiz

Adding support for Xenomai targets.

2009-03-16, lbessard
5a4e6278a18b
file isExecutable
Adding support for Xenomai targets.
class rtai_target(targets.target_gcc):
extensionexe = "exe"
extensiondll = "dll"