From 0dfd0312497b1ba53d22c274002a93dffdc12e53 Mon Sep 17 00:00:00 2001
From: MilhouseVH <milhouseVH.github@nmacleod.com>
Date: Fri, 1 Jul 2016 07:32:02 +0100
Subject: [PATCH] mkpkg_kodi: Allow a specific git rev to be used

---
 tools/mkpkg/mkpkg_kodi | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/mkpkg/mkpkg_kodi b/tools/mkpkg/mkpkg_kodi
index ac03dc95db..2e365ed8e5 100755
--- a/tools/mkpkg/mkpkg_kodi
+++ b/tools/mkpkg/mkpkg_kodi
@@ -18,13 +18,14 @@
 ################################################################################
 
 if [ -z "$1" ]; then
-  echo "Usage: $0 <branch-name>"
+  echo "Usage: $0 <branch-name> [git-rev]"
   exit 0
 fi
 
 PKG_NAME="kodi"
 PKG_VERSION=""
 BRANCH="$1"
+GIT_REV="$2"
 GIT_REPO="git://github.com/xbmc/xbmc.git"
 DEST_DIR="$PKG_NAME-$BRANCH"
 
@@ -36,6 +37,9 @@ echo "getting sources..."
   cd $DEST_DIR.git
   git pull
 
+  # use a specific git rev, rather than HEAD
+  [ -n "$GIT_REV" ] && git reset --hard $GIT_REV
+
 echo "getting version..."
   GIT_HASH=`git log -n1 --format=%h`
   VERSION_MAJOR=$(grep ^VERSION_MAJOR version.txt | cut -d" " -f2)