targets/Xenomai/target_xenomai.py
changeset 203 cb9901076a21
equal deleted inserted replaced
202:cd81a7a6e55c 203:cb9901076a21
       
     1 class xenomai_target(targets.target_gcc):
       
     2     extensionexe = ""
       
     3     extensiondll = ""