diff options
Diffstat (limited to 'gcc/Makefile.in')
| -rw-r--r-- | gcc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 3cff4f2b8e9..e81db11346d 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -5661,7 +5661,8 @@ upgrade-warmelt: melt-build-settings.sh melt-build-param.sh $(srcdir)/melt-buil for f in meltbuild-sources/generated/meltrunsup*.[ch] ; do \ indent $$f ; \ bf=`basename $$f` ; \ - cp $(srcdir)/melt/generated/$$bf $(srcdir)/melt/generated/$$bf~ ; \ + [ -f "$(srcdir)/melt/generated/$$bf" ] \ + && cp $(srcdir)/melt/generated/$$bf $(srcdir)/melt/generated/$$bf~ ; \ cp $$f $(srcdir)/melt/generated/$$bf ; \ done for f in meltbuild-sources/warmelt*.[ch] ; do \ |