targets/Rtai/target_rtai.py
author Edouard Tisserant
Thu, 22 Sep 2011 17:35:29 +0200
changeset 615 72bc3e53a1fa
parent 203 cb9901076a21
permissions -rwxr-xr-x
Xenomai Fix : build
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"