From ecb40fb19d6d15a8dc77b7d90369494d1185bd33 Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Tue, 30 Jun 2015 16:23:56 -0400 Subject: =?UTF-8?q?coding=20style=20(per=20Jerem=C3=ADas=20Feltan=20)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 01ca1ff..b4fd9a2 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3