targets/Rtai/target_rtai.py
author etisserant
Wed, 03 Sep 2008 17:28:17 +0200
changeset 235 a66e150f2888
parent 203 cb9901076a21
permissions -rwxr-xr-x
Improved debug data feedback.
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"