targets/Xenomai/target_xenomai.py
author greg
Thu, 19 Feb 2009 14:41:35 +0100
changeset 316 4e02160de04a
parent 203 cb9901076a21
permissions -rwxr-xr-x
change splashscreen beremiz version to 2009.0 Beta
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""