targets/Rtai/target_rtai.py
author edouard
Mon, 02 Nov 2009 15:38:49 +0100
changeset 435 75fe73597273
parent 203 cb9901076a21
permissions -rwxr-xr-x
Merge with 092060fd8afb1d950fe467724ce0209bddc48716
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"