]> Nishi Git Mirror - gwion.git/commitdiff
:bug: emved script
authorfennecdjay <fennecdjay@gmail.com>
Tue, 28 Feb 2023 11:46:06 +0000 (12:46 +0100)
committerfennecdjay <fennecdjay@gmail.com>
Tue, 28 Feb 2023 11:46:06 +0000 (12:46 +0100)
scripts/embed.bash

index a3c5504958eeaa97e9141d73bdefbc7008b28cc1..3751388084021cab491673503315a7b3e77128f7 100644 (file)
@@ -170,7 +170,7 @@ args=$(jq -rc '.args' <<< "$json")
 
 array_is_ok "$args" && {
   count=0
-  echo "CFLAGS += -DGWION_CONFIG_ARGS" >> embed/embed.mk
+  config "CFLAGS += -DGWION_CONFIG_ARGS"
   echo "static const char *config_argv[] = {"
   jq -rc '.[]' <<< "$args" |
   while read -r arg