From 7abe46c45cc71d08c76ad76ab5b1c632a74e6f7a Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Mon, 9 Sep 2024 20:46:44 +1000
Subject: [PATCH] chore: restore Lake build

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

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 3961ed7681ed..825c3ec998c6 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -606,7 +606,7 @@ else()
 endif()
 
 if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
-  add_custom_target(lake # ALL # TODO restore after stage 0 update
+  add_custom_target(lake ALL
     WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
     DEPENDS leanshared
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake