Add rule for refreshing from Makefile.build.

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index 3aa8a88ffa9d507931c36c90e7feeedbb15224da..60f8dcf3ceffdcf1fbe47ed34e1ad76d0cbada66 100644 (file)
--- 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)