targets/Rtai/target_rtai.py
author Edouard Tisserant
Sun, 25 Sep 2011 22:51:51 +0200
changeset 616 b9271faec96e
parent 203 cb9901076a21
permissions -rwxr-xr-x
Xenomai Fix : runs, but still fail in debug
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"