targets/Rtai/target_rtai.py
author Edouard Tisserant
Wed, 16 Nov 2011 12:50:16 +0100
changeset 633 70c84e6ff92c
parent 203 cb9901076a21
permissions -rwxr-xr-x
Xenomai build now ignores xeno-config if not set
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"