From fa7649d92bd309e5681e2c6b058e05170bc8168f Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Tue, 29 Sep 2015 23:31:57 +1000 Subject: [PATCH] Allow user to specify `arkflag_log=""` --- tools/arkmanager | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/tools/arkmanager b/tools/arkmanager index e3aa1a7..646a4ce 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -427,11 +427,8 @@ doRun() { # bring in arkflag_... flags for varname in "${!arkflag_@}"; do name="${varname#arkflag_}" - val="${!varname}" - if [ -n "$val" ]; then - arkextraopts=( "${arkextraopts[@]}" "-${name}" ) - fi + arkextraopts=( "${arkextraopts[@]}" "-${name}" ) done # bring in arkopt_... options