From a790d839d35221cb2ac08700123cfeeb4894d20f Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sun, 20 Aug 2017 23:18:05 +0200
Subject: [PATCH] detect changes in makefile for binaries

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

diff --git a/makefile-binary b/makefile-binary
index 5d0382b699..3c5463ea5a 100644
--- a/makefile-binary
+++ b/makefile-binary
@@ -37,7 +37,7 @@ FORCE:
 # -----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 # make subdir makefile
 
-%/makefile: makefile makefile.conf
+%/makefile: ../makefile-binary ../build.conf makefile makefile.conf
 	if [ ! -w $(dir $@) ] && [ $(USE_RAMDISK) -eq 1 ]; then\
 		ln -s /tmp/`date +'%s%N'`-$(dir $@) $(subst /,, $(dir $@)) 2>/dev/null;\
 	fi;\
-- 
GitLab