diff options
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/unix/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/win32unix/Makefile.nt | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index 15f947fe7..97f7d2ada 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -70,7 +70,7 @@ install: cp libunix.a $(LIBDIR)/libunix.a cd $(LIBDIR); $(RANLIB) libunix.a cp unix.cma $(MLOBJS:.cmo=.cmi) $(MLOBJS:.cmo=.mli) $(LIBDIR) - cp unixsupport.h $(LIBDIR) + cp unixsupport.h $(LIBDIR)/caml installopt: cp $(MLOBJS:.cmo=.cmx) unix.cmxa unix.a $(LIBDIR) diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index 6f15bf7c5..6c473329f 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -83,7 +83,7 @@ install: cp dllunix.dll $(STUBLIBDIR)/dllunix.dll cp libunix.$(A) $(LIBDIR)/libunix.$(A) cp $(CAML_OBJS:.cmo=.cmi) unix.cma $(CAML_OBJS:.cmo=.mli) $(LIBDIR) - cp unixsupport.h $(LIBDIR) + cp unixsupport.h $(LIBDIR)/caml installopt: cp unix.cmxa $(CAML_OBJS:.cmo=.cmx) unix.$(A) $(LIBDIR) |