targets/Xenomai/target_xenomai.py
author etisserant
Thu, 21 Aug 2008 17:18:44 +0200
changeset 210 ca3bfcf61192
parent 203 cb9901076a21
permissions -rwxr-xr-x
Fixed oddities in arguments/options parsing and passing to plugins initialization...
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""