From 7f8c2add2ef84fe789b765fb41848123a91b1c89 Mon Sep 17 00:00:00 2001
From: Georg Reinke <georg.reinke@rwth-aachen.de>
Date: Fri, 7 Jul 2017 12:11:08 +0200
Subject: [PATCH] fix CI

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 597924451..8e1a06356 100644
--- a/Makefile
+++ b/Makefile
@@ -96,8 +96,8 @@ ifdef CI
 	VARIANT := $(VARIANT)-ci
 endif
 
-GIT_REV    := $(shell git rev-parse --short=7    HEAD)
-GIT_BRANCH := $(shell git rev-parse --abbrev-ref HEAD)
+GIT_REV    := $(shell git rev-parse --short=7  HEAD)
+GIT_BRANCH := $(shell git symbolic-ref --short HEAD)
 
 # pkg-config dependencies
 PKGS = libconfig