targets/Rtai/target_rtai.py
author greg
Wed, 28 Oct 2009 11:42:47 +0100
changeset 433 ca07a88ee68a
parent 203 cb9901076a21
permissions -rwxr-xr-x
Merge with 5981ad8547f5bcfe2e9c93b7973fbca79178487f
class rtai_target(targets.target_gcc):
    extensionexe = "exe"
    extensiondll = "dll"