diff options
| -rw-r--r-- | Makefile | 5 | ||||
| -rw-r--r-- | xv6-rev3.tar.gz | bin | 69348 -> 70182 bytes | 
2 files changed, 2 insertions, 3 deletions
@@ -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 Binary files differindex 8f8e250..5d5a0f8 100644 --- a/xv6-rev3.tar.gz +++ b/xv6-rev3.tar.gz  | 
