targets/Xenomai/target_xenomai.py
author greg
Wed, 20 Aug 2008 09:37:57 +0200
changeset 204 f572ab819769
parent 203 cb9901076a21
permissions -rwxr-xr-x
remove URI_location from XSD targets and add to pluginroot XSD
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     1
class xenomai_target(targets.target_gcc):
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     2
    extensionexe = ""
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     3
    extensiondll = ""