From 4147fe5e03fe91ae69beaf9da8b377fbc3f96212 Mon Sep 17 00:00:00 2001 From: Rolf Bjarne Kvinge Date: Wed, 5 Mar 2025 11:02:44 +0100 Subject: [PATCH] [build] Shut down the build server after 'make all' as well. Hopefully this will fix the build randomly hanging at the end of 'make all'. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b5b6eeadebdf..8de3dc0db2d9 100644 --- a/Makefile +++ b/Makefile @@ -45,7 +45,7 @@ install-hook:: exit 1; \ fi -install-hook:: +all-hook install-hook:: $(Q) $(MAKE) -C dotnet shutdown-build-server .PHONY: package release