beremiz

Xenomai build now ignores xeno-config if not set

2011-11-16, Edouard Tisserant
70c84e6ff92c
file isExecutable
Xenomai build now ignores xeno-config if not set
class rtai_target(targets.target_gcc):
extensionexe = "exe"
extensiondll = "dll"