From 8b8e0c1085aff1a7df75e8a003e2a60279e47834 Mon Sep 17 00:00:00 2001
From: Liviu Ionescu <ilg@livius.net>
Date: Wed, 27 Sep 2017 21:30:56 +0300
Subject: [PATCH] use git clone instead of copy for the git folder

---
 scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index 94181ef..6addbf6 100644
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -499,7 +499,7 @@ then
   echo "Copying ${PROJECT_GIT_FOLDER_NAME} from Downloads..."
   rm -rf "${PROJECT_GIT_FOLDER_PATH}"
   mkdir -p "${PROJECT_GIT_FOLDER_PATH}"
-  cp -R "${PROJECT_GIT_DOWNLOADS_FOLDER_PATH}"/* "${PROJECT_GIT_FOLDER_PATH}"
+  git clone "${PROJECT_GIT_DOWNLOADS_FOLDER_PATH}" "${PROJECT_GIT_FOLDER_PATH}"
 
 else