[Mldonkey-commits] Changes to mldonkey/config/Makefile.in

[mldonkey-commits]

Index: mldonkey/config/Makefile.in
diff -u mldonkey/config/Makefile.in:1.129 mldonkey/config/Makefile.in:1.130
--- mldonkey/config/Makefile.in:1.129   Sat Nov 12 11:12:01 2005
+++ mldonkey/config/Makefile.in Sat Nov 12 11:20:19 2005
@@ -203,6 +203,7 @@
 LIB_SRCS=   \
   src/config/$(OS_FILES)/mlUnix.ml \
   src/config/$(OS_FILES)/os_stubs_c.c \
+       $(LIB)/bitv.ml \
   $(LIB)/intmap.ml $(LIB)/stringMap.ml \
   $(LIB)/int64ops.ml $(LIB)/options.ml4 $(LIB)/numset.ml  \
   $(LIB)/intset.ml \