From 5a9cfa0aec2b7b41d925047f1615c6c0290215e9 Mon Sep 17 00:00:00 2001
From: Lean stage0 autoupdater <>
Date: Tue, 10 Sep 2024 05:59:09 +0000
Subject: [PATCH] chore: update stage0

---
 stage0/src/CMakeLists.txt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
index 1eedef5db132..6ccb39580d49 100644
--- a/stage0/src/CMakeLists.txt
+++ b/stage0/src/CMakeLists.txt
@@ -620,17 +620,17 @@ else()
 endif()
 
 if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
-  add_custom_target(lake_lib # ALL # TODO restore after stage 0 update
+  add_custom_target(lake_lib ALL
     WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
     DEPENDS leanshared
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake
     VERBATIM)
-  add_custom_target(lake_shared # ALL # TODO restore after stage 0 update
+  add_custom_target(lake_shared ALL
     WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
     DEPENDS lake_lib
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make libLake_shared
     VERBATIM)
-  add_custom_target(lake # ALL # TODO restore after stage 0 update
+  add_custom_target(lake ALL
     WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
     DEPENDS lake_shared
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make lake