chore: clean up after update-stage0

leanprover · Jan 12, 2025 · a46ba58 · a46ba58
1 parent 136e93a
commit a46ba58
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -708,7 +708,7 @@ if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
     DEPENDS lake_lib
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make libLake_shared
     VERBATIM)
-  add_custom_target(lake #ALL
+  add_custom_target(lake ALL
     WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
     DEPENDS lake_shared
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make lake