diff options
| -rw-r--r-- | stdlib/Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index 251ae02a7..d0e839668 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -34,7 +34,7 @@ all: stdlib.cma std_exit.cmo camlheader camlheader_ur allopt: stdlib.cmxa std_exit.cmx install: - cp stdlib.cma std_exit.cmo *.cmi *.mli camlheader camlheader_ur $(LIBDIR) + cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur $(LIBDIR) installopt: cp stdlib.cmxa stdlib.lib std_exit.obj *.cmx $(LIBDIR) |