targets/Xenomai/target_xenomai.py
author greg
Wed, 22 Oct 2008 14:22:54 +0200
changeset 261 5299c6746fa8
parent 203 cb9901076a21
permissions -rwxr-xr-x
fix bug in methods.py
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""