remove duplicate W=i/C=i args (#1755)

Co-authored-by: Tobias Fiebig <t.fiebig@tudelft.nl>
This commit is contained in:
Tobias Fiebig 2022-03-26 12:55:23 +01:00 committed by GitHub
parent 9a659f46ff
commit 066b6e6824
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -578,8 +578,6 @@ sub process_arguments(){
"t=i" => \$opt_t, "timeout=i" => \$opt_t,
"s" => \$opt_s, "sudo" => \$opt_s,
"d:s" => \$opt_d, "configdir:s" => \$opt_d,
"W=i" => \$opt_W, # warning if above this number
"C=i" => \$opt_C, # critical if above this number
);
if ($opt_V) {