diff options
| -rw-r--r-- | libiberty/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libiberty/Makefile.in b/libiberty/Makefile.in index 0be45b4ae8e..62cc6fa6e4e 100644 --- a/libiberty/Makefile.in +++ b/libiberty/Makefile.in @@ -254,6 +254,7 @@ $(TARGETLIB): $(REQUIRED_OFILES) $(EXTRA_OFILES) $(LIBOBJS) $(AR) $(AR_FLAGS) $(TARGETLIB) \ $(REQUIRED_OFILES) $(EXTRA_OFILES) $(LIBOBJS); \ $(RANLIB) $(TARGETLIB); \ + cp $(TARGETLIB) ../ ; \ cd ..; \ else true; fi; \ if [ x"$(NOASANFLAG)" != x ]; then \ |