targets/Xenomai/target_xenomai.py
author greg
Wed, 26 Nov 2008 09:04:28 +0100
changeset 272 9cce83526487
parent 203 cb9901076a21
permissions -rwxr-xr-x
Bug on Exception handling fixed
class xenomai_target(targets.target_gcc):
    extensionexe = ""
    extensiondll = ""