coding style (per Jeremías Feltan <jeremias.feltan@gmail.com>)

2015-06-30 16:23:56 -04:00 · 2015-06-30 16:23:56 -04:00 · ecb40fb19d
parent b67ed0902d
commit ecb40fb19d
2 changed files with 7 additions and 7 deletions
--- a/2
+++ b/2
@ -272,6 +272,6 @@ tar:
 	rm -rf /tmp/xv6
 	mkdir -p /tmp/xv6
 	cp dist/* dist/.gdbinit.tmpl /tmp/xv6
-	(cd /tmp; tar cf - xv6) | gzip >xv6-rev5.tar.gz
+	(cd /tmp; tar cf - xv6) | gzip >xv6-rev9.tar.gz  # the next one will be 9 (6/27/15)

 .PHONY: dist-test dist