diff options
Diffstat (limited to 'desktop/source/app/cmdlineargs.cxx')
| -rw-r--r-- | desktop/source/app/cmdlineargs.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/source/app/cmdlineargs.cxx b/desktop/source/app/cmdlineargs.cxx index 9bbc36ffa29f..7fed61a256fc 100644 --- a/desktop/source/app/cmdlineargs.cxx +++ b/desktop/source/app/cmdlineargs.cxx @@ -486,6 +486,7 @@ void CommandLineArgs::ParseCommandLine_Impl( Supplier& supplier ) // primitive tools that /bin/sh offers, ignore them here if ( #if defined UNX + oArg != "record" && oArg != "backtrace" && oArg != "strace" && oArg != "valgrind" && |