From 62a1504a57764664320f259f8ac847722d072943 Mon Sep 17 00:00:00 2001
From: Steffen Pankratz <kratz00@gmx.de>
Date: Fri, 17 Jul 2015 18:47:02 +0200
Subject: [PATCH] - fixed git cloning after $DIRECTORY had to be deleted

Signed-off-by: Steffen Pankratz <kratz00@gmx.de>
Reviewed-by: Tim Niemeyer <tim.niemeyer@mastersword.de>
---
 buildscript | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/buildscript b/buildscript
index d8b9954..8e4f5ca 100755
--- a/buildscript
+++ b/buildscript
@@ -50,7 +50,8 @@ checkout_git(){
 		else
 			echo wrong remote or not an git repo at all -\> deleting whole directory
 			/bin/rm -rf $DIRECTORY
-			$MYGIT clone $REPO_URL $DIRECTORY
+			#needs to be without -C!!!
+			git clone $REPO_URL $DIRECTORY
 			$MYGIT checkout $COMMITID
 		fi
 	else