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