etisserant@203: class rtai_target(targets.target_gcc):
etisserant@203:     extensionexe = "exe"
etisserant@203:     extensiondll = "dll"