diff options
| -rw-r--r-- | otherlibs/dynlink/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index da58af3da..fcac76cc0 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -70,8 +70,10 @@ install: cp extract_crc $(LIBDIR)/extract_crc$(EXE) installopt: - cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR) - cd $(LIBDIR); $(RANLIB) dynlink.$(A) + (grep -q '^NATDYNLINK=true$$' ../../config/Makefile && \ + cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR) && \ + cd $(LIBDIR) && $(RANLIB) dynlink.$(A) \ + ) || true partialclean: rm -f extract_crc *.cm[ioax] *.cmxa |