diff options
| author | Alexander Krotov <ilabdsf@gmail.com> | 2018-09-03 00:29:27 +0200 |
|---|---|---|
| committer | fiaxh <git@mx.ax.lt> | 2018-09-03 00:43:07 +0200 |
| commit | 69b886ef1e065d1c3373ac775111fcd1ea7cbbf9 (patch) | |
| tree | 430a66f18622119a86620b0579af1eb94047ffef /configure | |
| parent | 0f57191bea9e4bd44af36fafe22212e262ce8221 (diff) | |
| download | dino-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.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 ;; |