From 203bf76ff4fac04f1583bcbc45f4bc8ef5e85d69 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 11 Dec 2019 17:13:55 +0100
Subject: [PATCH] chore: ignore stale .c file at update-stage0

---
 src/Init/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Init/Makefile.in b/src/Init/Makefile.in
index e217a0cc51..8cdd95940a 100644
--- a/src/Init/Makefile.in
+++ b/src/Init/Makefile.in
@@ -55,7 +55,7 @@ $(OUT)/libleanstdlib.a: $(addprefix $(OUT)/,$(SRCS:.lean=.o))
 update-stage0:
 	-rm -r $(STAGE0_DIR)
 	-mkdir -p $(STAGE0_DIR)/stdlib
-	cp -R $(C_OUT) $(STAGE0_DIR)/stdlib/Init
+	for f in $(SRCS:.lean=.c); do mkdir -p `dirname $(STAGE0_DIR)/stdlib/Init/$$f`; cp $(C_OUT)/$$f $(STAGE0_DIR)/stdlib/Init/$$f; done
 	echo "add_library (stage0 OBJECT $(CS_CORE))" > $(STAGE0_DIR)/stdlib/CMakeLists.txt
 # don't copy untracked crap
 	cd ..; git ls-files -z . | xargs -0 -I '{}' bash -c 'mkdir -p `dirname ../stage0/src/{}` && cp {} ../stage0/src/{}'