From b39ca52354f9bf6904fd1a1e1554bc8f2dc3aaf6 Mon Sep 17 00:00:00 2001
From: Luis Bosque <luisico@gmail.com>
Date: Tue, 16 May 2017 15:01:00 +0200
Subject: [PATCH] Use git HEAD hash as possible package name

Pretty simple addition to allow generating debian packages with the git
hash as part of the packages name. This may be useful for a nightly
build style for fast testing
---
 release | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/release b/release
index 11153458ce7..4c36fcb8c9a 100755
--- a/release
+++ b/release
@@ -24,6 +24,9 @@ do
         gen_revision_author
         git push
         exit 0
+    elif [[ $1 == '--head' ]]; then
+        REVISION=`git rev-parse HEAD`
+        shift
     else
         echo "Unknown option $1"
         exit 2