targets/Rtai/target_rtai.py
author lbessard
Wed, 08 Apr 2009 15:16:45 +0200
changeset 333 e90aebdd2af1
parent 203 cb9901076a21
permissions -rwxr-xr-x
fixed wrong pthread initialisation
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"