From 75ffce0417b066f6aaa1645e07a241ac0c743c0f Mon Sep 17 00:00:00 2001 From: Badlop Date: Mon, 23 May 2022 15:01:54 +0200 Subject: [PATCH] configure also when running "make update", which is similar to "make deps" --- Makefile.in | 1 + 1 file changed, 1 insertion(+) 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)