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

This commit is contained in:
Frans Kaashoek 2017-01-30 20:09:54 -05:00
parent c383612a7d
commit d57d37eb87

View file

@ -275,6 +275,6 @@ tar:
rm -rf /tmp/xv6 rm -rf /tmp/xv6
mkdir -p /tmp/xv6 mkdir -p /tmp/xv6
cp dist/* dist/.gdbinit.tmpl /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 .PHONY: dist-test dist