From fc964fb08da5dcbd479191706f322397fa1f3814 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 16 Dec 2019 13:18:57 +0100
Subject: [PATCH] chore: do not remove stage0 build on clean-olean

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

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 3efc1be407..8dc78bd572 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -621,7 +621,7 @@ add_custom_target(clean-stdlib
   WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/Init"
   COMMAND find . -name '*.olean' -delete
   COMMAND find . -name '*.depend' -delete
-  COMMAND rm -rf ../stage1 "${CMAKE_BINARY_DIR}/stage*" || true
+  COMMAND rm -rf ../stage1 "${CMAKE_BINARY_DIR}/stage2" "${CMAKE_BINARY_DIR}/stage3" || true
   )
 
 add_custom_target(clean-olean