diff options
| author | Paul Selkirk <paul@psgd.org> | 2016-04-07 14:51:50 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2016-04-07 14:51:50 -0400 |
| commit | d5669dac8c7ab2fbf6bd3c7faed7ce050c94ee1a (patch) | |
| tree | 91269c6631f89871e0884a6a622d7ae061a08fe7 /libraries/mbed/rtos/rtx | |
| parent | 076b211d5e5d0f2b6366597aaade223fac78d346 (diff) | |
Don't return from main() - it triggers a hard fault.
Diffstat (limited to 'libraries/mbed/rtos/rtx')
0 files changed, 0 insertions, 0 deletions