Profiling tools

This commit is contained in:
Robin Davies
2024-09-03 02:08:39 -04:00
parent b35d6a982d
commit 1bd0d27915
10 changed files with 327 additions and 8 deletions
+1 -1
View File
@@ -162,7 +162,7 @@ namespace pipedal
{
if (shortOption.length() != 0)
{
auto option = "-" + longOption;
auto option = "-" + shortOption;
options.push_back(new BooleanOption(option, pResult, true));
options.push_back(new BooleanOption(option + "+", pResult, true));
options.push_back(new BooleanOption(option + "-", pResult, false));