targets/Xenomai/target_xenomai.py
author lbessard
Mon, 08 Sep 2008 13:55:50 +0200
changeset 250 01963beca027
parent 203 cb9901076a21
permissions -rwxr-xr-x
Bug with return value of nodelist saving fixed
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""