Set length of short hash to 8 characters because Gitlab uses 8.

diff --git a/Makefile b/Makefile
index 41d5ab73d86c1fa45f379414fde2463eb5f5b8a8..a721063cbf16504ec07d17b6f977d344e4d7365e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -258,7 +258,7 @@ RELEASE_NOTES = "Official release."
 GIT_DIR ?= .git
 ifneq ($(and $(wildcard $(GIT_DIR)),$(shell which git)),)
 GIT_HASH = $(shell git rev-parse HEAD)
-GIT_HASH_SHORT = $(shell git rev-parse --short HEAD)
+GIT_HASH_SHORT = $(shell git rev-parse --short=8 HEAD)
 GIT_DATE = $(shell git show -s --format=%ci)
 else
 GIT_HASH = $Format:%H$