make-dist: use HEAD for making distribution package

* make-dist: Use HEAD commit instead of master branch by default.

diff --git a/make-dist b/make-dist
index 9accae760002210c514162a37cee9a7dae2cf287..41baa209417ca16c7fd4afe956de893f36dffa08 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -1,6 +1,6 @@
 #!/bin/sh -e
 
-tag="${1:-master}"
+id="$(git rev-parse --verify "${1:-@}^{commit}")"
 
 j=-j`getconf _NPROCESSORS_ONLN 2> /dev/null` || j=
 
@@ -12,7 +12,7 @@ set -x
 git clone -q -n -s .git "$distdir"
 
 cd $distdir
-git checkout -f "$tag"
+git checkout -f "$id"
 
 ./git-set-file-times