diff options
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/Makefile | 2 |
1 files changed, 1 insertions, 1 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) |