chore(scripts): make the release script more flexible

Now the SHA can be short/long, whateva.
This commit is contained in:
Vojta Jina
2014-03-14 14:24:21 -07:00
committed by Tobias Bosch
parent 83f37d78ba
commit 1da4e89385

View File

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