diff options
| -rwxr-xr-x | scripts/embedded_scripts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/embedded_scripts b/scripts/embedded_scripts index 986e85160..7245ba6e0 100755 --- a/scripts/embedded_scripts +++ b/scripts/embedded_scripts @@ -32,7 +32,7 @@ then do printf '"%s\\0"' $i done - printf '"\\0";\n' + printf ';\n' printf '#else\n' printf 'extern const char script_names[] ALIGN1;\n' printf '#endif\n' |