From 246d2914da3ce19044b5e249c48ed3068eb02b31 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 18 Mar 2019 17:56:40 +0100
Subject: [PATCH] chore(CMakeLists): remove dead code

---
 src/CMakeLists.txt | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 940cd0db41..b39f3d213a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -445,9 +445,6 @@ set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:lean_frontend>)
 add_subdirectory(init)
 set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:init>)
 add_subdirectory(stage0)
-if(STAGE1)
-  add_subdirectory(stage1)
-endif()
 if(EMSCRIPTEN)
     set(LEAN_LIBRARY_TYPE SHARED)
 else()