Unbreak building without shared

This commit is contained in:
Jonathan Schleifer 2018-02-10 12:41:00 +01:00
parent ec57014019
commit 517f3ac632
No known key found for this signature in database
GPG key ID: 28D65178B37F33E3
2 changed files with 28 additions and 28 deletions

View file

@ -683,7 +683,7 @@ install: all install-extra
for i in "" ${SHARED_LIB}; do \
test x"$$i" = x"" && continue; \
${INSTALL_STATUS}; \
if ${MKDIR_P} ${DESTDIR}${libdir} && @INSTALL_LIB@; then \
if ${MKDIR_P} ${DESTDIR}${libdir} @INSTALL_LIB@; then \
${INSTALL_OK}; \
else \
${INSTALL_FAILED}; \
@ -714,7 +714,7 @@ install: all install-extra
for i in "" ${PLUGIN}; do \
test x"$$i" = x"" && continue; \
${INSTALL_STATUS}; \
if ${MKDIR_P} ${DESTDIR}${plugindir} && @INSTALL_PLUGIN@; then \
if ${MKDIR_P} ${DESTDIR}${plugindir} @INSTALL_PLUGIN@; then \
${INSTALL_OK}; \
else \
${INSTALL_FAILED}; \
@ -786,7 +786,7 @@ uninstall: uninstall-extra
for i in "" ${SHARED_LIB}; do \
test x"$$i" = x"" && continue; \
if test -f ${DESTDIR}${libdir}/$$i; then \
if @UNINSTALL_LIB@; then \
if : @UNINSTALL_LIB@; then \
${DELETE_OK}; \
else \
${DELETE_FAILED}; \
@ -821,7 +821,7 @@ uninstall: uninstall-extra
for i in "" ${PLUGIN}; do \
test x"$$i" = x"" && continue; \
if test -e ${DESTDIR}${plugindir}/$$i; then \
if @UNINSTALL_PLUGIN@; then \
if : @UNINSTALL_PLUGIN@; then \
${DELETE_OK}; \
else \
${DELETE_FAILED}; \