summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Wiederhake <BenWiederhake.GitHub@gmx.de>2021-11-01 18:02:35 +0100
committerLinus Groh <mail@linusgroh.de>2021-11-01 21:12:58 +0100
commit70c7861c33c729d8d55d509a3aa44f8300057d94 (patch)
tree664a7645ddde26443af2e35591eadded2e2979a1
parentea9f2f80a12bb45a1266be6364095e03f5e69690 (diff)
downloadserenity-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.cpp2
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);