diff options
| author | Wojtek Kosior <koszko@koszko.org> | 2022-02-17 12:32:53 +0100 |
|---|---|---|
| committer | Wojtek Kosior <koszko@koszko.org> | 2022-02-17 12:34:58 +0100 |
| commit | 5ed6a89cd164f40b60a2008f63fad2534d36b624 (patch) | |
| tree | 5b123ad8e7122513e006f131988074b2469c695d | |
| parent | c290dfe1621cd598008842fa84bda90480d1a845 (diff) | |
| download | browser-extension-5ed6a89cd164f40b60a2008f63fad2534d36b624.tar.gz browser-extension-5ed6a89cd164f40b60a2008f63fad2534d36b624.zip | |
fix `configure` options of the format '--option value' and 'OPTION=VALUE'
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -46,7 +46,7 @@ while [ "x$1" != x ]; do OPT="${OPT#--}" OPT_NAME="${OPT%%=*}" - if [ "x$OPT_BASE" != "x$OPT" ]; then + if [ "x$OPT_NAME" != "x$OPT" ]; then OPT_VAL="${OPT#*=}" else shift @@ -86,7 +86,7 @@ while [ "x$1" != x ]; do OPT_NAME="${OPT%%=*}" OPT_VAL="${OPT#*=}" - case "$1" in + case "$OPT_NAME" in BROWSER_BINARY) BROWSER_BINARY="$OPT_VAL";; CLEAN_PROFILE) |