targets/Xenomai/target_xenomai.py
author etisserant
Wed, 14 Jan 2009 19:25:53 +0100
changeset 291 701c0601db02
parent 203 cb9901076a21
permissions -rwxr-xr-x
Added systematic stdout.flush runtime side, so that results appear in log window
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""