[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