From e98fdc4db657df965f5da0c0c4c9dd749f9fb485 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 7 Dec 2019 20:27:25 +0100
Subject: [PATCH] chore: check-stage3 target for checking (eventually)
 deterministic bootstrap

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

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 552b32f6a2..454ed3ac2c 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -47,6 +47,9 @@ if(NOT STAGE0)
     set(PREV_LEAN "$<TARGET_FILE:lean_stage${STAGE}>")
   endforeach()
 
+  add_custom_target(check-stage3
+    COMMAND diff "$<TARGET_FILE:lean_stage2>" "$<TARGET_FILE:lean_stage3>")
+
   add_custom_target(update-stage0
     COMMAND make update-stage0 "STAGE1_OUT=${CMAKE_BINARY_DIR}/stage1/Init"
     DEPENDS leanstdlib