From c432bcf22e681b93f77f00c76152259744dfd355 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Sun, 18 Feb 2018 10:37:13 +0100
Subject: [PATCH] fix types for CMakeCache

---
 s/build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/s/build b/s/build
index 636777541..709c92510 100755
--- a/s/build
+++ b/s/build
@@ -37,10 +37,10 @@ BRANCH=$(git status -s -b | head -1 | cut -d\  -f 2 | sed 's/\..*//')
 if [ "$BRANCH" = "master" ] ; then
 VERSION=$(git describe --match 'v*.*.*' --tags | sed 's/^v//')
 echo "$BRANCH $VERSION"
-CMAKE_ARGS="-DERESSEA_VERSION=$VERSION ${CMAKE_ARGS}"
+CMAKE_ARGS="-DERESSEA_VERSION:STRING=$VERSION ${CMAKE_ARGS}"
 else
 REV=$(git rev-parse --short HEAD)
-CMAKE_ARGS="-DERESSEA_BUILDNO=$REV $CMAKE_ARGS"
+CMAKE_ARGS="-DERESSEA_BUILDNO:STRING=$REV $CMAKE_ARGS"
 fi
 
 cmake ${CMAKE_ARGS}