From 074ac7ccd43c08d01a237ce6f14cac10715a51ef Mon Sep 17 00:00:00 2001
From: Silas Boyd-Wickizer <sbw@wether.csail.mit.edu>
Date: Tue, 15 Sep 2009 19:15:59 -0400
Subject: add .gdbinit.tmpl to dist

---
 Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2b0c61a..1e73ee1 100644
--- a/Makefile
+++ b/Makefile
@@ -170,7 +170,7 @@ EXTRA=\
 dist:
 	rm -rf dist
 	mkdir dist
-	for i in $(FILES); \
+	for i in $(FILES) .gdbinit.tmpl; \
 	do \
 		grep -v PAGEBREAK $$i >dist/$$i; \
 	done
@@ -193,6 +193,5 @@ dist-test:
 tar:
 	rm -rf /tmp/xv6
 	mkdir -p /tmp/xv6
-	cp dist/* /tmp/xv6
+	cp dist/* dist/.gdbinit.tmpl /tmp/xv6
 	(cd /tmp; tar cf - xv6) | gzip >xv6-rev3.tar.gz
-
-- 
cgit v1.2.3