From ba9d0a2b7f1ddac43d7c5160dba1068054f3bf1c Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Tue, 21 Oct 2014 16:18:12 -0400
Subject: [PATCH] fix(shell/CMakeLists.txt): merge into a single lean.js file

---
 src/shell/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index d548286e0..f6888e2ec 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -1,6 +1,6 @@
 if(${EMSCRIPTEN})
   add_executable(lean.js lean.cpp)
-  target_link_libraries(lean.js ${ALL_LIBS} "--preload-file library")
+  target_link_libraries(lean.js ${ALL_LIBS} "--embed-file library --memory-init-file 0")
 else()
   add_executable(lean lean.cpp)
   target_link_libraries(lean ${ALL_LIBS})