targets/Xenomai/target_xenomai.py
changeset 321 5a4e6278a18b
parent 320 76492675c3ed
child 322 b8ae0580565c
equal deleted inserted replaced
320:76492675c3ed 321:5a4e6278a18b
     1 class xenomai_target(targets.target_gcc):
       
     2     extensionexe = ""
       
     3     extensiondll = ""