add .gdbinit.tmpl to dist

2009-09-15 19:15:59 -04:00 · 2009-09-15 19:15:59 -04:00 · 074ac7ccd4
parent 8252f6287d
commit 074ac7ccd4
2 changed files with 2 additions and 3 deletions
--- a/5
+++ b/5
@ -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
-
--- a/xv6-rev3.tar.gz
+++ b/xv6-rev3.tar.gz