diff options
| -rw-r--r-- | compilerplugins/Makefile-clang.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compilerplugins/Makefile-clang.mk b/compilerplugins/Makefile-clang.mk index 619e11d57b2b..9d6aa14c3e80 100644 --- a/compilerplugins/Makefile-clang.mk +++ b/compilerplugins/Makefile-clang.mk @@ -46,6 +46,10 @@ ifeq ($(CLANGSRCCHANGED),1) CLANGFORCE: $(CLANGOUTDIR)/plugin.so: CLANGFORCE endif +# Make the .so also explicitly depend on the sources list, to force update in case CLANGSRCCHANGED was e.g. during 'make clean'. +$(CLANGOUTDIR)/plugin.so: $(CLANGOUTDIR)/sources.txt +$(CLANGOUTDIR)/sources.txt: + touch $@ compilerplugins: $(CLANGOUTDIR) $(CLANGOUTDIR)/plugin.so |