From c112ae7c580832e3aa951ba2a40bb72fc19cae52 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 28 Nov 2022 15:12:18 +0100
Subject: [PATCH] test: fix Lake rename

---
 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 dd64d99401a..f29a9b4a8db 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -173,7 +173,7 @@ ENDFOREACH(T)
 # Create a lake test for each subdirectory of `lake/examples` which contains a `test.sh` file.
 file(GLOB_RECURSE LEANLAKETESTS "${LEAN_SOURCE_DIR}/lake/examples/test.sh")
 FOREACH(T ${LEANLAKETESTS})
-  if(NOT T MATCHES ".*lean_packages.*")
+  if(NOT T MATCHES ".*lake-packages.*")
   if(NOT T MATCHES ".*bootstrap.*")
     GET_FILENAME_COMPONENT(T_DIR ${T} DIRECTORY)
     GET_FILENAME_COMPONENT(DIR_NAME ${T_DIR} NAME)