commit 740cccaee0d8af1d6660c9855746d1058da2d198
parent 26cb5b3f11d985fd98b63a5662cc41dfb672b090
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 19 May 2023 18:53:21 +0200
Update the Makefile for building from git repositories
Ensure that the dependencies are satisfied before cloning the
repository. When make is run sequentially, this avoids nesting of builds
and simplifies reading the output on what is being done.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/git.mk.in b/git.mk.in
@@ -5,7 +5,7 @@
# Delete the dependency file to force their regeneration. This is necessary
# because the .prefix file may have been updated and therefore the dependency
# files may be outdated.
-build_@NAME: fetch_@NAME @DEP prefix
+build_@NAME: @DEP fetch_@NAME prefix
@cd -- @NAME_dir &&\
rm -f $$(find src -name "*.d") &&\
PKG_CONFIG_PATH="$$(cat ../.prefix)/lib/pkgconfig/" $(MAKE) @OPT