From 68d84099a062ebbe8eea5c8affdacd4be5257728 Mon Sep 17 00:00:00 2001
From: Pranav K <prkrishn@hotmail.com>
Date: Wed, 12 Jul 2017 06:23:59 -0700
Subject: [PATCH] Use the repository name as the directory to clone to.

---
 build/repo.targets | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/repo.targets b/build/repo.targets
index b639fdc03b..df2b9e68b7 100644
--- a/build/repo.targets
+++ b/build/repo.targets
@@ -81,7 +81,7 @@
   <Target Name="_CloneRepository">
     <PropertyGroup>
       <ShallowClone Condition="'$(ShallowClone)'=='' OR '$(CloneRepositoryCommit)'!=''">false</ShallowClone>
-      <_CloneArguments>git clone --quiet $(CloneUrl)</_CloneArguments>
+      <_CloneArguments>git clone --quiet $(CloneUrl) $(CloneRepository)</_CloneArguments>
       <_CloneArguments Condition="'$(ShallowClone)'=='true'">$(_CloneArguments) --depth 1</_CloneArguments>
     </PropertyGroup>