targets/Xenomai/target_xenomai.py
author lbessard
Fri, 13 Feb 2009 13:58:54 +0100
changeset 314 ad4db7099355
parent 203 cb9901076a21
permissions -rwxr-xr-x
Bug with fonts on some systems fixed
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""