From 31026576f4a4b9fcbb5eef319454dc4668efa778 Mon Sep 17 00:00:00 2001
From: Xiaoqiang Wang <xiaoqiangwang@gmail.com>
Date: Mon, 7 Aug 2017 09:54:03 +0200
Subject: [PATCH] delete cache before (re-)running cmake

---
 cmk.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmk.sh b/cmk.sh
index 4e4b53af0..bca12ca80 100755
--- a/cmk.sh
+++ b/cmk.sh
@@ -92,6 +92,7 @@ echo "in "$PWD
 
 #cmake
 if [ $REBUILD -eq 1 ]; then
+	rm -f CMakeCache.txt
 	BUILDCOMMAND="$CMAKE_PRE cmake $CMAKE_POST .."
 	echo $BUILDCOMMAND
 	eval $BUILDCOMMAND