diff options
Diffstat (limited to 'unix/configure')
-rwxr-xr-x | unix/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/unix/configure b/unix/configure index 991879c..f8dcb5e 100755 --- a/unix/configure +++ b/unix/configure @@ -8971,12 +8971,12 @@ else if test "$RANLIB" = ""; then - MAKE_LIB='$(STLIB_LD) $@ ${OBJS}' + MAKE_LIB='$(STLIB_LD) $@ ${OBJS} ${STUB_LIB_OBJS}' INSTALL_LIB='$(INSTALL_LIBRARY) $(LIB_FILE) "$(LIB_INSTALL_DIR)"/$(LIB_FILE)' else - MAKE_LIB='${STLIB_LD} $@ ${OBJS} ; ${RANLIB} $@' + MAKE_LIB='${STLIB_LD} $@ ${OBJS} ${STUB_LIB_OBJS} ; ${RANLIB} $@' INSTALL_LIB='$(INSTALL_LIBRARY) $(LIB_FILE) "$(LIB_INSTALL_DIR)"/$(LIB_FILE) ; (cd "$(LIB_INSTALL_DIR)" ; $(RANLIB) $(LIB_FILE))' fi |