targets/Xenomai/target_xenomai.py
author etisserant
Sat, 17 Jan 2009 02:36:46 +0100
changeset 301 87c925eaaa3a
parent 203 cb9901076a21
permissions -rwxr-xr-x
Added support for wxglade GUIs.
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""