|
@@ -116,7 +116,7 @@ int main(int argc, char** argv, char** env)
|
|
rc = emulator.exec();
|
|
rc = emulator.exec();
|
|
|
|
|
|
if (dump_profile) {
|
|
if (dump_profile) {
|
|
- emulator.profile_stream().write_or_error(", \"strings\": ["sv.bytes());
|
|
|
|
|
|
+ emulator.profile_stream().write_or_error("], \"strings\": ["sv.bytes());
|
|
if (emulator.profiler_strings().size()) {
|
|
if (emulator.profiler_strings().size()) {
|
|
for (size_t i = 0; i < emulator.profiler_strings().size() - 1; ++i)
|
|
for (size_t i = 0; i < emulator.profiler_strings().size() - 1; ++i)
|
|
emulator.profile_stream().write_or_error(String::formatted("\"{}\", ", emulator.profiler_strings().at(i)).bytes());
|
|
emulator.profile_stream().write_or_error(String::formatted("\"{}\", ", emulator.profiler_strings().at(i)).bytes());
|