diff options
Diffstat (limited to 'apps/plugins/lib/pluginlib_exit.h')
-rw-r--r-- | apps/plugins/lib/pluginlib_exit.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/apps/plugins/lib/pluginlib_exit.h b/apps/plugins/lib/pluginlib_exit.h index 00cbc8dc7f..8c7f0c437f 100644 --- a/apps/plugins/lib/pluginlib_exit.h +++ b/apps/plugins/lib/pluginlib_exit.h | |||
@@ -23,11 +23,7 @@ | |||
23 | #define __PLUGINLIB_EXIT_H__ | 23 | #define __PLUGINLIB_EXIT_H__ |
24 | 24 | ||
25 | #include "config.h" | 25 | #include "config.h" |
26 | #if (CONFIG_PLATFORM & PLATFORM_NATIVE) | ||
27 | #include "../../codecs/lib/setjmp.h" | ||
28 | #else | ||
29 | #include <setjmp.h> | 26 | #include <setjmp.h> |
30 | #endif | ||
31 | 27 | ||
32 | #define _PLUGINLIB_EXIT_INIT(atexit) switch(setjmp(__exit_env)) \ | 28 | #define _PLUGINLIB_EXIT_INIT(atexit) switch(setjmp(__exit_env)) \ |
33 | { \ | 29 | { \ |