diff options
| -rw-r--r-- | otherlibs/threads/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 3fe57f303..1bbc626ad 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -42,7 +42,7 @@ LIB_OBJS=pervasives.cmo \ $(LIB)/lazy.cmo $(LIB)/filename.cmo $(LIB)/int32.cmo $(LIB)/int64.cmo \ $(LIB)/nativeint.cmo \ $(LIB)/arrayLabels.cmo $(LIB)/listLabels.cmo $(LIB)/stringLabels.cmo \ - $(LIB)/stdLabels.cmo + $(LIB)/stdLabels.cmo $(LIB)/moreLabels.cmo UNIXLIB=../unix |