aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Krotov <ilabdsf@gmail.com>2018-09-03 00:29:27 +0200
committerfiaxh <git@mx.ax.lt>2018-09-03 00:43:07 +0200
commit69b886ef1e065d1c3373ac775111fcd1ea7cbbf9 (patch)
tree430a66f18622119a86620b0579af1eb94047ffef
parent0f57191bea9e4bd44af36fafe22212e262ce8221 (diff)
downloaddino-69b886ef1e065d1c3373ac775111fcd1ea7cbbf9.tar.gz
dino-69b886ef1e065d1c3373ac775111fcd1ea7cbbf9.zip
Fix parsing of multiple --(enable|disable)-plugin options (#350)
Due to missing $ variables $ENABLED_PLUGINS and $DISABLED_PLUGINS were not evaluated.
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index d1de2053..da82fd64 100755
--- a/configure
+++ b/configure
@@ -103,8 +103,8 @@ EOF
while true; do
case "$1" in
--prefix ) PREFIX="$2"; shift; shift ;;
- --enable-plugin ) if [ -z "$ENABLED_PLUGINS" ]; then ENABLED_PLUGINS="$2"; else ENABLED_PLUGINS="ENABLED_PLUGINS;$2"; fi; shift; shift ;;
- --disable-plugin ) if [ -z "$DISABLED_PLUGINS" ]; then DISABLED_PLUGINS="$2"; else DISABLED_PLUGINS="DISABLED_PLUGINS;$2"; fi; shift; shift ;;
+ --enable-plugin ) if [ -z "$ENABLED_PLUGINS" ]; then ENABLED_PLUGINS="$2"; else ENABLED_PLUGINS="$ENABLED_PLUGINS;$2"; fi; shift; shift ;;
+ --disable-plugin ) if [ -z "$DISABLED_PLUGINS" ]; then DISABLED_PLUGINS="$2"; else DISABLED_PLUGINS="$DISABLED_PLUGINS;$2"; fi; shift; shift ;;
--valac ) VALA_EXECUTABLE="$2"; shift; shift ;;
--valac-flags ) VALAC_FLAGS="$2"; shift; shift ;;
--lib-suffix ) LIB_SUFFIX="$2"; shift; shift ;;