build(utils/wrapmakelog.pl): Fix for recursive and dockerized make.
This commit is contained in:
parent
ef7102ef9f
commit
29d8bd371d
@ -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
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user