diff options
author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-11-01 18:02:35 +0100 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2021-11-01 21:12:58 +0100 |
commit | 70c7861c33c729d8d55d509a3aa44f8300057d94 (patch) | |
tree | 664a7645ddde26443af2e35591eadded2e2979a1 | |
parent | ea9f2f80a12bb45a1266be6364095e03f5e69690 (diff) | |
download | serenity-70c7861c33c729d8d55d509a3aa44f8300057d94.zip |
UserspaceEmulator: Avoid special character in pseudo-identifier
In the generated HTML code, '#' gets interpreted as the beginning of a
shell comment, which throws the syntax highlighting off. Regardless,
spelling out the meaning of the '#' might make it more readable.
-rw-r--r-- | Userland/DevTools/UserspaceEmulator/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Userland/DevTools/UserspaceEmulator/main.cpp b/Userland/DevTools/UserspaceEmulator/main.cpp index 659f943724..c616dc1cca 100644 --- a/Userland/DevTools/UserspaceEmulator/main.cpp +++ b/Userland/DevTools/UserspaceEmulator/main.cpp @@ -34,7 +34,7 @@ int main(int argc, char** argv, char** env) parser.add_option(g_report_to_debug, "Write reports to the debug log", "report-to-debug", 0); parser.add_option(pause_on_startup, "Pause on startup", "pause", 'p'); parser.add_option(dump_profile, "Generate a ProfileViewer-compatible profile", "profile", 0); - parser.add_option(profile_instruction_interval, "Set the profile instruction capture interval, 128 by default", "profile-interval", 'i', "#instructions"); + parser.add_option(profile_instruction_interval, "Set the profile instruction capture interval, 128 by default", "profile-interval", 'i', "num_instructions"); parser.add_option(profile_dump_path, "File path for profile dump", "profile-file", 0, "path"); parser.add_option(enable_roi_mode, "Enable Region-of-Interest mode for profiling", "roi", 0); |