From e2492535cf8ecff85595712e69774d94dd98a751 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Sat, 23 Nov 2019 23:36:28 +0100 Subject: Proper rebuilding of plugins when headers change --- plugins/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/plugins/Makefile b/plugins/Makefile index 130ee0f..cace09b 100644 --- a/plugins/Makefile +++ b/plugins/Makefile @@ -35,5 +35,8 @@ endif .SECONDARY: -$(PLUGINNAME)/%.$(SO_EXT): $(patsubst %.c,%.o,$(wildcard $(PLUGINNAME)/*.c)) $(wildcard ../*.o ../*.h) +$(PLUGINNAME)/%.$(SO_EXT): $(patsubst %.c,%.o,$(wildcard $(PLUGINNAME)/*.c)) $(wildcard ../*.o) $(CC) $(SO_FLAGS) -o $@ $(filter %.o,$^) + +$(PLUGINNAME)/%.o: $(PLUGINNAME)/%.c $(wildcard $(PLUGINNAME)/*.h) $(wildcard ../*.h) + $(CC) $(CFLAGS) -c -o $@ $< -- cgit v1.2.3-70-g09d2