change client option name

This commit is contained in:
ubuntu201711081 2020-12-06 04:12:20 +00:00
parent 940bf1a32c
commit 7cf9f22037
2 changed files with 2 additions and 2 deletions

View File

@ -16,7 +16,7 @@ Server OPTION and arguments:
Client option and arguments: Client option and arguments:
- `-b` or `--benchmark` :benchmark mode - `-b` or `--benchmark` :benchmark mode
- `--nogui` :no progress bar - `-nv` or `--no-verbose` :no progress bar
Available macro: Available macro:

View File

@ -221,7 +221,7 @@ int main(int argc, const char *argv[]){
arg_filename_start++; arg_filename_start++;
bench.benchmode = true; bench.benchmode = true;
} }
else if(strcmp("--nogui",argv[arg_filename_start])==0){ else if(strcmp("-nv",argv[arg_filename_start]) == 0||strcmp("--no-verbose",argv[arg_filename_start])==0){
arg_filename_start++; arg_filename_start++;
DisplayProgress = false; DisplayProgress = false;
} }