yann@1614: --- libiberty/Makefile.in.mps	2004-05-13 15:53:17.000000000 +0200
yann@1614: +++ libiberty/Makefile.in	2004-05-13 15:52:53.000000000 +0200
yann@1614: @@ -224,6 +224,7 @@ $(TARGETLIB): $(REQUIRED_OFILES) $(EXTRA
yann@1614:  	  $(AR) $(AR_FLAGS) $(TARGETLIB) \
yann@1614:  	    $(REQUIRED_OFILES) $(EXTRA_OFILES) $(LIBOBJS); \
yann@1614:  	  $(RANLIB) $(TARGETLIB); \
yann@1614: +	  cp $(TARGETLIB) ../ ; \
yann@1614:  	  cd ..; \
yann@1614:  	else true; fi
yann@1614: