From 89da4130fc4b2dbf2ae9a37a7091f230c18196ec Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Mon, 18 Mar 2019 13:49:25 -0700
Subject: [PATCH] make-tar.sh allow HEAD for testing

---
 .tools/make-tar.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.tools/make-tar.sh b/.tools/make-tar.sh
index ff78a23cd..4c9c33a7b 100755
--- a/.tools/make-tar.sh
+++ b/.tools/make-tar.sh
@@ -36,7 +36,10 @@ case "$PREFIX" in
 esac
 
 # Check for both <tag> and R<tag>
-if ! [ `git tag -l $TOPREV` ]
+if [ "$TOPREV" = "HEAD" ]
+then
+  true
+elif ! [ `git tag -l $TOPREV` ]
 then
   if [ `git tag -l R$TOPREV` ]
   then