targets/Rtai/target_rtai.py
author edouard
Thu, 13 Aug 2009 11:48:55 +0200
changeset 380 46d7d2ce84d2
parent 203 cb9901076a21
permissions -rwxr-xr-x
Merge with 35cc4c6a29363d0a89f3e1096832cf14bb79f3de
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"