make DEAD_FUNCTIONS work on js library functions too

1 files changed, 2 insertions, 0 deletions

diff --git a/src/settings.js b/src/settings.js
index 4ffbb415..0d8d3da5 100644
--- a/src/settings.js
+++ b/src/settings.js
@@ -428,6 +428,8 @@ var DEAD_FUNCTIONS = []; // Functions on this list are not converted to JS, and
                          // reducing code size.
                          // If a dead function is actually called, you will get a runtime
                          // error.
+                         // This can affect both functions in compiled code, and system
+                         // library functions (e.g., you can use this to kill printf).
                          // TODO: options to lazily load such functions
 
 var EXPLICIT_ZEXT = 0; // If 1, generate an explicit conversion of zext i1 to i32, using ?: