diff options
Diffstat (limited to 'src/jsifier.js')
| -rw-r--r-- | src/jsifier.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/jsifier.js b/src/jsifier.js index f08be1c9..aab21eea 100644 --- a/src/jsifier.js +++ b/src/jsifier.js @@ -485,8 +485,9 @@ function JSify(data, functionsOnly, givenFunctions) { // Shared libraries reuse the runtime of their parents. item.JS = ''; } else { - if (!LibraryManager.library.hasOwnProperty(shortident)) { - LibraryManager.library[shortident] = new Function("Module['printErr']('missing library function: " + shortident + "'); abort(-1);"); + if (!LibraryManager.library.hasOwnProperty(shortident) && !LibraryManager.library.hasOwnProperty(shortident + '__inline')) { + if (ASSERTIONS) printErr('warning: missing function: ' + shortident); + LibraryManager.library[shortident] = new Function("Module['printErr']('missing function: " + shortident + "'); abort(-1);"); } item.JS = addFromLibrary(shortident); } |