targets/Xenomai/target_xenomai.py
author greg
Wed, 20 Aug 2008 10:10:34 +0200
changeset 205 ee8d1f4528ef
parent 203 cb9901076a21
permissions -rwxr-xr-x
move specific target runtimes to their targets directory
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""