diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-11-23 23:36:28 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-11-23 23:36:43 +0100 |
| commit | e2492535cf8ecff85595712e69774d94dd98a751 (patch) | |
| tree | 4141ddf5fee8c82ea00df9e2dfcf6f8fd4a53e7b | |
| parent | 8b91af88666b2289daaf7ca655ab039c8ad9488a (diff) | |
Proper rebuilding of plugins when headers change
| -rw-r--r-- | plugins/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
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 $@ $< |