X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=60f8dcf3ceffdcf1fbe47ed34e1ad76d0cbada66;hb=549160a3aebb7003046380c5a052220bd0edc0ef;hp=3aa8a88ffa9d507931c36c90e7feeedbb15224da;hpb=49753a6e28089392969da622a6d412538199d3b6;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index 3aa8a88..60f8dcf 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -115,4 +115,7 @@ clean:
 	$(RM) -f kernel.o kernel.lds.s
 	$(RM) -f kernel.bin loader.bin
 
+Makefile: ../../Makefile.build
+	cp $< $@
+
 -include $(DEPENDS)