From 70c7861c33c729d8d55d509a3aa44f8300057d94 Mon Sep 17 00:00:00 2001 From: Ben Wiederhake Date: Mon, 1 Nov 2021 18:02:35 +0100 Subject: [PATCH] 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. --- Userland/DevTools/UserspaceEmulator/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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);