make-dist: use HEAD for making distribution package

* make-dist: Use HEAD commit instead of master branch by default.
This commit is contained in:
Eugene Syromyatnikov 2016-10-27 23:43:36 +03:00 committed by Dmitry V. Levin
parent 95308d89ce
commit 79dca294d1

View File

@ -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