[PATCH v2 05/19] - fixed git cloning after $DIRECTORY had to be deleted

Steffen Pankratz kratz00 at gmx.de
Fr Jul 17 18:47:02 CEST 2015


Signed-off-by: Steffen Pankratz <kratz00 at gmx.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
-- 
2.4.5




Mehr Informationen über die Mailingliste franken-dev