Makefile: remove and create xdiff library from scratch.

diff --git a/Makefile b/Makefile
index 087ff27c28960a552e3a97126ada4f64ca391844..8ce27a65fb822afe34374a719ac552ff79a45074 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -580,7 +580,7 @@ $(LIB_FILE): $(LIB_OBJS)
 XDIFF_OBJS=xdiff/xdiffi.o xdiff/xprepare.o xdiff/xutils.o xdiff/xemit.o
 
 $(XDIFF_LIB): $(XDIFF_OBJS)
-       $(AR) rcs $@ $(XDIFF_OBJS)
+       rm -f $@ && $(AR) rcs $@ $(XDIFF_OBJS)
 
 
 doc: