make-notify-and-wait: ignores changes in make.log . (see the note in the source)