From 6d6ebf7c61d8ae18175f5b08395ed25e731f03d7 Mon Sep 17 00:00:00 2001
From: Vojta Jina
Date: Fri, 14 Mar 2014 14:24:21 -0700
Subject: chore(scripts): make the release script more flexible

Now the SHA can be short/long, whateva.---
 scripts/jenkins/release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh
index 8c1e46bc..bb512f70 100755
--- a/scripts/jenkins/release.sh
+++ b/scripts/jenkins/release.sh
@@ -23,7 +23,7 @@ ARG_DEFS=(
 )
 
 function init {
-  if [[ $(git rev-parse --short HEAD) != $COMMIT_SHA ]]; then
+  if [[ $(git rev-parse HEAD) != $(git rev-parse $COMMIT_SHA) ]]; then
     echo "HEAD is not at $COMMIT_SHA"
     usage
   fi
-- 
cgit v1.2.3