Thanks to Wolfgang Keller <nubok@users.noreply.github.com>

diff --git a/Makefile b/Makefile
index dd2afb8cadad7009142d16478f23858dd8f69fd7..c6159fe1ed279203957232136812d86e2fc27c34 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -275,6 +275,6 @@ tar:
        rm -rf /tmp/xv6
        mkdir -p /tmp/xv6
        cp dist/* dist/.gdbinit.tmpl /tmp/xv6
-       (cd /tmp; tar cf - xv6) | gzip >xv6-rev9.tar.gz  # the next one will be 9 (6/27/15)
+       (cd /tmp; tar cf - xv6) | gzip >xv6-rev10.tar.gz  # the next one will be 10 (9/17)
 
 .PHONY: dist-test dist