summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
add .gdbinit.tmpl to dist
-rw-r--r--Makefile5
-rw-r--r--xv6-rev3.tar.gzbin69348 -> 70182 bytes
2 files changed, 2 insertions, 3 deletions
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
-
diff --git a/xv6-rev3.tar.gz b/xv6-rev3.tar.gz
index 8f8e250..5d5a0f8 100644
--- a/xv6-rev3.tar.gz
+++ b/xv6-rev3.tar.gz
Binary files differ