add clone_single_branch function

1 files changed, 23 insertions, 0 deletions

diff --git a/clone_single_branch b/clone_single_branch
new file mode 100644
index 0000000000..8c6f2636db
--- /dev/null
+++ b/clone_single_branch
@@ -0,0 +1,23 @@
+# clone_single_branch is intended for use when we only want a small part of a big repository 
+# for immediate use.
+# This is especially true for projects which do not release tarballs.
+
+# This function would normally be used in the PRE_BUILD script,
+# in which case DOWNLOAD  should simply be 'true'
+
+# VERSION can be either a branch name or a tag
+
+base_clone_single_branch() {
+  cd $BUILD_DIRECTORY
+  if [[ -d $3 ]];then
+    message "${PROBLEM_COLOR}$3 already exists!\n$DEFAULT_COLOR"
+    false
+  else
+    message "${MESSAGE_COLOR}Cloning into $3\n$DEFAULT_COLOR"
+    git clone -q --depth=1 --single-branch -b $1 $2 $3
+  fi
+}
+
+clone_single_branch() {
+  base_clone_single_branch $VERSION $SOURCE_URL $SPELL
+}