add .gdbinit.tmpl to dist

diff --git a/Makefile b/Makefile
index 2b0c61a2d7de6b2bf16df101ee649a7b0ec476fb..1e73ee1c0e79a7c7aece0f8b7c9f17b29c6bf7bc 100644 (file)
--- 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
-

diff --git a/xv6-rev3.tar.gz b/xv6-rev3.tar.gz
index 8f8e25036c0907ea129f2318f42398c38bc0bdc6..5d5a0f8cbb60dcbc7797b18b3f82400e2cacdcdb 100644 (file)
Binary files a/xv6-rev3.tar.gz and b/xv6-rev3.tar.gz differ