targets/Xenomai/target_xenomai.py
author etisserant
Mon, 19 Jan 2009 08:39:16 +0100
changeset 304 9a731a435403
parent 203 cb9901076a21
permissions -rwxr-xr-x
Removed lost print
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""