From 6e497be935fdb46c13bd94b82f1486a9c659bdac Mon Sep 17 00:00:00 2001 From: "Todd C. Miller" Date: Wed, 3 Jul 2019 07:39:54 -0600 Subject: [PATCH] Update plugindir even when --disable-shared is specified. Otherwise, the default value is substituted into the Makefiles and documentation which may not match --prefix. Bug #886 --- configure | 13 +++++++------ configure.ac | 13 +++++++------ 2 files changed, 14 insertions(+), 12 deletions(-) diff --git a/configure b/configure index a8d9ba428..ecdd8bff0 100755 --- a/configure +++ b/configure @@ -26930,13 +26930,14 @@ EOF EOF fi + # PLUGINDIR gets substitured even when --disable-shared is specified + PLUGINDIR="$with_plugindir" + _PLUGINDIR= + while test X"$PLUGINDIR" != X"$_PLUGINDIR"; do + _PLUGINDIR="$PLUGINDIR" + eval PLUGINDIR="$_PLUGINDIR" + done if test X"$enable_shared" != X"no"; then - PLUGINDIR="$with_plugindir" - _PLUGINDIR= - while test X"$PLUGINDIR" != X"$_PLUGINDIR"; do - _PLUGINDIR="$PLUGINDIR" - eval PLUGINDIR="$_PLUGINDIR" - done cat >>confdefs.h <