diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-10-16 12:17:46 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-10-16 12:17:46 -0700 |
| commit | 5d3a70a0feca32c00b97b92686a930d16d9474a3 (patch) | |
| tree | d4f13fb82fa1f568c506ae23af14f2b23f0b6cb5 /src/settings.js | |
| parent | 1a6c5d091c2ced9d846d6ff68f09a24410201ed1 (diff) | |
option to not inline library functions
Diffstat (limited to 'src/settings.js')
| -rw-r--r-- | src/settings.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 0cbe989b..70888a6c 100644 --- a/src/settings.js +++ b/src/settings.js @@ -53,6 +53,7 @@ SKIP_STACK_IN_SMALL = 1; // When enabled, does not push/pop the stack at all in // may allocate stack later, and in a loop, this can be // very bad. In particular, when debugging, printf()ing // a lot can exhaust the stack very fast, with this option. +INLINE_LIBRARY_FUNCS = 1; // Will inline library functions that have __inline defined // Generated code debugging options SAFE_HEAP = 0; // Check each write to the heap against a list of blocked addresses |