From: fennecdjay Date: Mon, 6 Mar 2023 10:44:57 +0000 (+0100) Subject: :bug: fix with_config arguments X-Git-Tag: nightly~184 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=967d4d3763c2a00d2fd4fbce84b5165445f65005;p=gwion.git :bug: fix with_config arguments --- diff --git a/scripts/embed.bash b/scripts/embed.bash index cc4ca5de..907f52ef 100644 --- a/scripts/embed.bash +++ b/scripts/embed.bash @@ -180,9 +180,9 @@ args=$(jq -rc '.args' <<< "$json") while read -r arg do echo " \"$arg\", " done + count=$((count+1)) } echo "};" - count=$((count+1)) echo "static const int config_argc = $count;" cat << EOF ANN const char** config_args(int *argc, char **const argv) {