From 967d4d3763c2a00d2fd4fbce84b5165445f65005 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Mon, 6 Mar 2023 11:44:57 +0100 Subject: [PATCH] :bug: fix with_config arguments --- scripts/embed.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) { -- 2.43.0