targets/Rtai/target_rtai.py
author tkragelj
Wed, 16 Dec 2009 14:12:47 +0100
changeset 526 68375ccdf968
parent 203 cb9901076a21
permissions -rwxr-xr-x
Added flush when printing to standard output.
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"