From 8dd530e5cf4c1be080fcd387fc38aa6afc44be83 Mon Sep 17 00:00:00 2001
From: Francesco Abbate <francesco.bbt@gmail.com>
Date: Fri, 10 Sep 2021 15:47:33 +0200
Subject: [PATCH] Add -branch option in repackage script

---
 scripts/repackage.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/scripts/repackage.sh b/scripts/repackage.sh
index 99368582..3239ea5e 100644
--- a/scripts/repackage.sh
+++ b/scripts/repackage.sh
@@ -10,7 +10,7 @@ copy_directory_from_repo () {
   fi
   local dirname="$1"
   local destdir="$2"
-  git archive master "$dirname" --format=tar | tar xf - -C "$destdir" "${tar_options[@]}"
+  git archive "$lite_branch" "$dirname" --format=tar | tar xf - -C "$destdir" "${tar_options[@]}"
 }
 
 lite_copy_third_party_modules () {
@@ -23,12 +23,17 @@ lite_copy_third_party_modules () {
     rm "$build/rxi-lite-colors.zip"
 }
 
+lite_branch=master
 while [ ! -z ${1+x} ]; do
   case "$1" in
     -dir)
     use_dir="$(realpath $2)"
     shift 2
     ;;
+    -branch)
+    lite_branch="$2"
+    shift 2
+    ;;
     *)
     echo "unknown option: $1"
     exit 1