diff options
| -rw-r--r-- | otherlibs/str/Makefile | 1 | ||||
| -rw-r--r-- | otherlibs/str/Makefile.nt | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/str/Makefile b/otherlibs/str/Makefile index 049640c4d..bbb510776 100644 --- a/otherlibs/str/Makefile +++ b/otherlibs/str/Makefile @@ -18,6 +18,7 @@ LIBNAME=str COBJS=strstubs.$(O) +CLIBNAME=camlstr CAMLOBJS=str.cmo include ../Makefile diff --git a/otherlibs/str/Makefile.nt b/otherlibs/str/Makefile.nt index eb026188c..689f0e62c 100644 --- a/otherlibs/str/Makefile.nt +++ b/otherlibs/str/Makefile.nt @@ -17,6 +17,7 @@ LIBNAME=str COBJS=strstubs.$(O) +CLIBNAME=camlstr CAMLOBJS=str.cmo include ../Makefile.nt |