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