From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 15 Sep 2004 01:13:20 +0000 (+0000)
Subject: Add rule for refreshing from Makefile.build.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=549160a3aebb7003046380c5a052220bd0edc0ef

Add rule for refreshing from Makefile.build.
---

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)