targets/Xenomai/target_xenomai.py
author greg
Thu, 21 Aug 2008 13:18:49 +0200
changeset 207 5f4cb3b024cc
parent 203 cb9901076a21
permissions -rwxr-xr-x
add address ip params
fix configure/publish service
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""