|
@@ -2010,7 +2010,9 @@ const char * const helpText[] = {
|
|
" -help, --help Display this message",
|
|
" -help, --help Display this message",
|
|
" -help -v Display verbose help message",
|
|
" -help -v Display verbose help message",
|
|
"! -internal Run internal tests",
|
|
"! -internal Run internal tests",
|
|
- "! -legacy Use legacy import semantics (deprecated)",
|
|
|
|
|
|
+ "! -legacy Use legacy import and when semantics (deprecated)",
|
|
|
|
+ "! -legacyimport Use legacy import semantics (deprecated)",
|
|
|
|
+ "! -legacywhen Use legacy when/side-effects semantics (deprecated)",
|
|
" --logfile <file> Write log to specified file",
|
|
" --logfile <file> Write log to specified file",
|
|
"! --logdetail=n Set the level of detail in the log file",
|
|
"! --logdetail=n Set the level of detail in the log file",
|
|
"! --nologfile Do not write any logfile",
|
|
"! --nologfile Do not write any logfile",
|