From 29d8bd371d9e436b776c979706994b1de1e9b160 Mon Sep 17 00:00:00 2001 From: Stephan Barth Date: Mon, 11 Nov 2024 13:44:38 +0100 Subject: [PATCH] build(utils/wrapmakelog.pl): Fix for recursive and dockerized make. --- utils/wrapmakelog.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/utils/wrapmakelog.sh b/utils/wrapmakelog.sh index 2fe1bbc7d..50ea3a8fa 100755 --- a/utils/wrapmakelog.sh +++ b/utils/wrapmakelog.sh @@ -2,7 +2,12 @@ : > makelogger -utils/makefilelogger.pl Makefile > Makefile-loggingsymbols +cp Makefile Makefile.prev -make -f Makefile-loggingsymbols "$@" +utils/makefilelogger.pl Makefile.prev > Makefile + +make "$@" + +rm Makefile +mv Makefile.prev Makefile