From 39cc36a979ce7606235709800bcb177cb2739920 Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Wed, 9 Jan 2019 21:19:15 +0100
Subject: [PATCH] Makefile: run CMake with CMAKE_ARGS defined

This ensures to re-run CMake when using something like:

> CMAKE_ARGS="-DSTRICT_TESTS=true -DDO_COVERAGE=1 make check-unit
---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index e2bfcef4f..66a7feea0 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,11 @@ all: $(TARGETS) ;
 
 $(TARGETS): cmake-build
 
+# Run CMake always with CMAKE_ARGS defined.
+ifdef CMAKE_ARGS
+.PHONY: $(BUILDDIR)/Makefile
+endif
+
 $(BUILDDIR)/Makefile:
 	$(ECHO) "Creating build directory and running cmake in it. You can also run CMake directly, if you want."
 	$(ECHO)