From 6b460f02cabcc4b0f5e4c5a0e3d82caad4087fe8 Mon Sep 17 00:00:00 2001
From: Mingye Wang <arthur200126@gmail.com>
Date: Thu, 29 Mar 2018 15:51:47 -0400
Subject: [PATCH] Jakefile: tell users to clone exactly at the tag

git clone accepts a -b option to clone a branch/tag/commit hash directly. This is more convenient than cloning the entire repo and then switching. --depth 1 helps reduce download size.
---
 Jakefile.js | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/Jakefile.js b/Jakefile.js
index 16786026..91cd4c97 100644
--- a/Jakefile.js
+++ b/Jakefile.js
@@ -29,16 +29,11 @@ var webclient = path.join(web,"client");
 // Check out Koka in a peer directory of Madoko; i.e. `.../dev/madoko` and `.../dev/koka-0.6`:
 //
 // > cd ..
-// > git clone https://github.com/koka-lang/koka.git  koka-0.6
+// > git clone https://github.com/koka-lang/koka.git -b v0.6.0-dev --depth 1 koka-0.6
 //
-// Then set it to the older version:
+// Then install dependencies and build the release version:
 //
-// > cd koka-0.6
-// > git checkout v0.6.0-dev
 // > npm install
-//
-// and build the release version:
-//
 // > jake compiler VARIANT=release
 
 var kokaDir   = "../koka-0.6"