From d85ec3bac2c03f0df4ec793a28b872f0f46eeeca Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Sat, 1 Sep 2018 19:54:21 +0100
Subject: [PATCH] build system minor fix

---
 Grid/Makefile.am | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Grid/Makefile.am b/Grid/Makefile.am
index fe0832c3..4ad7b249 100644
--- a/Grid/Makefile.am
+++ b/Grid/Makefile.am
@@ -32,9 +32,13 @@ version-cache:
 	echo "`git log -n 1 --format=format:"#define GITHASH \\"%H:%d $$a\\"%n" HEAD`" > vertmp;\
 	if [ -e version-cache ]; then\
 		d=`diff vertmp version-cache`;\
-		[ "${d}" != "" ] && mv vertmp version-cache;\
+		if [ "$${d}" != "" ]; then\
+			mv vertmp version-cache;\
+			rm -f Version.h;\
+		fi;\
 	else\
 		mv vertmp version-cache;\
+		rm -f Version.h;\
 	fi;\
 	rm -f vertmp