diff options
Diffstat (limited to 'otherlibs/threads/Makefile')
| -rw-r--r-- | otherlibs/threads/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 8ddbd8287c..0825905636 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -36,7 +36,9 @@ LIB_OBJS=pervasives.cmo \ $(LIB)/printexc.cmo $(LIB)/gc.cmo $(LIB)/digest.cmo $(LIB)/random.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 + $(LIB)/nativeint.cmo \ + $(LIB)/arrayLabels.cmo $(LIB)/listLabels.cmo $(LIB)/stringLabels.cmo \ + $(LIB)/stdLabels.cmo UNIXLIB=../unix |