diff options
author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-10-15 22:59:30 (GMT) |
---|---|---|
committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-10-15 22:59:30 (GMT) |
commit | 79e2f520942451a3651dbcfebd4672a02c52dcbf (patch) | |
tree | 44751548796c250e353ee1c9b1ff05d114b8f137 /plugins-root | |
parent | 15b4e89a42a3caf2c4da3992d698b356649665a1 (diff) | |
download | monitoring-plugins-79e2f520942451a3651dbcfebd4672a02c52dcbf.tar.gz |
Fix for -Wunused-but-set-variablerefs/pull/1940/head
Diffstat (limited to 'plugins-root')
-rw-r--r-- | plugins-root/check_dhcp.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/plugins-root/check_dhcp.c b/plugins-root/check_dhcp.c index 5ba9372..6b07df5 100644 --- a/plugins-root/check_dhcp.c +++ b/plugins-root/check_dhcp.c | |||
@@ -1064,12 +1064,10 @@ int get_results(void){ | |||
1064 | 1064 | ||
1065 | /* process command-line arguments */ | 1065 | /* process command-line arguments */ |
1066 | int process_arguments(int argc, char **argv){ | 1066 | int process_arguments(int argc, char **argv){ |
1067 | int arg_index; | ||
1068 | |||
1069 | if(argc<1) | 1067 | if(argc<1) |
1070 | return ERROR; | 1068 | return ERROR; |
1071 | 1069 | ||
1072 | arg_index = call_getopt(argc,argv); | 1070 | call_getopt(argc,argv); |
1073 | return validate_arguments(argc); | 1071 | return validate_arguments(argc); |
1074 | } | 1072 | } |
1075 | 1073 | ||