diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index 07e5a4125641799a6d61daf6539910d7cef6e959..9dc6d7dfe89097592ae846aca2b1791db491a299 100644 --- a/Configurations/unix-Makefile.tmpl +++ b/Configurations/unix-Makefile.tmpl @@ -256,6 +256,8 @@ Makefile: FORCE done ) > Makefile.new @if ! cmp Makefile.new Makefile >/dev/null 2>&1; then \ mv -f Makefile.new Makefile; \ + else \ + rm -f Makefile.new; \ fi # Install helper targets #############################################