diff options
| -rw-r--r-- | otherlibs/threads/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 8ccbdc146..e08a828a3 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -36,6 +36,7 @@ LIB_OBJS=pervasives.cmo \ $(LIB)/stream.cmo $(LIB)/buffer.cmo \ $(LIB)/printf.cmo $(LIB)/format.cmo $(LIB)/arg.cmo \ $(LIB)/printexc.cmo $(LIB)/gc.cmo $(LIB)/digest.cmo $(LIB)/random.cmo \ + $(LIB)/camlinternalOO.cmo \ $(LIB)/oo.cmo $(LIB)/genlex.cmo $(LIB)/callback.cmo $(LIB)/weak.cmo \ $(LIB)/lazy.cmo $(LIB)/filename.cmo $(LIB)/int32.cmo $(LIB)/int64.cmo \ $(LIB)/nativeint.cmo \ |