targets/Xenomai/target_xenomai.py
| author |
etisserant |
|
Mon, 19 Jan 2009 08:32:11 +0100 |
| changeset 302 |
d962b3d503b5 |
| parent 203 |
cb9901076a21
|
| permissions |
-rwxr-xr-x |
Enhanced wxGlade GUI creation.
- Frame object name now have same name as in editor
- Closing the frame replace object by None, warn user, and recreate frame
|
203
|
1 |
class xenomai_target(targets.target_gcc):
|
|
|
2 |
extensionexe = ""
|
|
|
3 |
extensiondll = ""
|