diff options
| -rw-r--r-- | gas/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gas/Makefile.in b/gas/Makefile.in index e076aa3..c6779d0 100644 --- a/gas/Makefile.in +++ b/gas/Makefile.in @@ -510,17 +510,17 @@ bootstrap3: force stage1: force -mkdir stage1 -mv $(STAGESTUFF) stage1 - (cd stage1 ; ln as.new as) + if [ ! -f stage1/as ] ; then (cd stage1 ; ln as.new as) ; fi stage2: force -mkdir stage2 -mv $(STAGESTUFF) stage2 - (cd stage2 ; ln as.new as) + if [ ! -f stage2/as ] ; then (cd stage2 ; ln as.new as) ; fi stage3: force -mkdir stage3 -mv $(STAGESTUFF) stage3 - (cd stage3 ; ln as.new as) + if [ ! -f stage3/as ] ; then (cd stage3 ; ln as.new as) ; fi against=stage2 |