beremiz

Enhanced the way "runtime.py" is executed,

2009-01-16, etisserant
d7f8ffe18017
file isExecutable
Enhanced the way "runtime.py" is executed,
class rtai_target(targets.target_gcc):
extensionexe = "exe"
extensiondll = "dll"