targets/Rtai/target_rtai.py
author greg
Mon, 04 May 2009 10:12:35 +0200
changeset 342 80e5876bc53b
parent 203 cb9901076a21
permissions -rwxr-xr-x
Replacing Debug rt_sem by rt_pipe
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"