diff options
author | Badlop <badlop@process-one.net> | 2022-05-23 15:01:54 +0200 |
---|---|---|
committer | Badlop <badlop@process-one.net> | 2022-05-23 16:49:19 +0200 |
commit | 75ffce0417b066f6aaa1645e07a241ac0c743c0f (patch) | |
tree | 6ee4d4b8f6181d5e5755781ff43522d5966a885f /Makefile.in | |
parent | Update "make help" with recent changes (diff) |
configure also when running "make update", which is similar to "make deps"
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 25adeec56..42b799c71 100644 --- a/Makefile.in +++ b/Makefile.in @@ -176,6 +176,7 @@ update: rm -rf $(DEPSDIR)/.got rm -rf $(DEPSDIR)/.built $(REBAR) $(UPDATEDEPS) && :> $(DEPSDIR)/.got + $(CONFIGURE_DEPS) xref: all $(REBAR) $(SKIPDEPS) xref $(XREFOPTIONS) |