diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
index 3225c1469c09..06991773883e 100644
--- a/stage0/src/CMakeLists.txt
+++ b/stage0/src/CMakeLists.txt
@@ -579,13 +579,13 @@ else()
   string(APPEND CMAKE_EXE_LINKER_FLAGS " -lInit_shared -lleanshared")
 endif()
 
-#if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
-#  add_custom_target(lake ALL
-#    WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
-#    DEPENDS leanshared
-#    COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake
-#    VERBATIM)
-#endif()
+if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
+  add_custom_target(lake ALL
+    WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
+    DEPENDS leanshared
+    COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake
+    VERBATIM)
+endif()
 
 if(PREV_STAGE)
   add_custom_target(update-stage0