On Friday 12 August 2011 16:40:33, Paolo Bonzini wrote: > install-unwind_h: > - rm -f $(gcc_objdir)/include/unwind.h > - cp unwind.h $(gcc_objdir)/include/unwind.h > - chmod a+r $(gcc_objdir)/include/unwind.h > + dest=$(gcc_objdir)/include/tmp$$$$-unwind.h; \ > + cp unwind.h $$dest; \ > + chmod a+r $$dest; \ > + sh $(srcdir)/../move-if-change $$dest $(gcc_objdir)/include/unwind.h
Thanks, that looks good to me. -- Pedro Alves