From 78828a8a3d29bd44a51c55bd542038469d7009fa Mon Sep 17 00:00:00 2001
From: Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
Date: Wed, 29 Mar 2017 04:47:28 +0200
Subject: [PATCH] fix CI builds

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0e667348a..18e2f5ae7 100644
--- a/Makefile
+++ b/Makefile
@@ -74,7 +74,7 @@ VERSION_NUM = $(shell VERSION=$(VERSION); echo $${VERSION:1})
 
 ifdef CI
 	GIT_REV = ${CI_BUILD_REF:0:7}
-	VARIANT = ci-$(VARIANT)
+	VARIANT := ci-$(VARIANT)
 else
 	GIT_REV = $(shell REV=$$(git rev-parse HEAD); echo $${REV:0:7})
 endif