diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2013-04-18 16:15:20 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2013-04-18 16:15:20 -0600 |
commit | 2d32b627f6f91e9f70ea20a481adf91dd8d27e99 (patch) | |
tree | 6ce126f0017af4d8cf269b433ca7087b655f7d11 /nuttx/tools/Makefile.host | |
parent | 032e040edbb467aa1137f8f7b3b9442579589ae1 (diff) | |
download | px4-nuttx-2d32b627f6f91e9f70ea20a481adf91dd8d27e99.tar.gz px4-nuttx-2d32b627f6f91e9f70ea20a481adf91dd8d27e99.tar.bz2 px4-nuttx-2d32b627f6f91e9f70ea20a481adf91dd8d27e99.zip |
_exit() should not call atexit() or on_exit() functions; Rename task_deletecurrent() to task_exit()
Diffstat (limited to 'nuttx/tools/Makefile.host')
0 files changed, 0 insertions, 0 deletions