diff options
author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2024-10-31 03:36:00 +0100 |
---|---|---|
committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2024-10-31 03:36:00 +0100 |
commit | 5f2ae6d5e5240570de28a344fea2e822e1fa0bf4 (patch) | |
tree | 3de1a5db3c66cfcf4fa2faae396a5646ef16df1a /plugins | |
parent | 1633fd73bde6f2a2899b2f20d2e07683d5ea13ce (diff) | |
download | monitoring-plugins-5f2ae6d5e5240570de28a344fea2e822e1fa0bf4.tar.gz |
check_dummy: do not export local symbols
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/check_dummy.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/check_dummy.c b/plugins/check_dummy.c index 92622384..19f6c046 100644 --- a/plugins/check_dummy.c +++ b/plugins/check_dummy.c | |||
@@ -35,7 +35,7 @@ const char *email = "devel@monitoring-plugins.org"; | |||
35 | #include "common.h" | 35 | #include "common.h" |
36 | #include "utils.h" | 36 | #include "utils.h" |
37 | 37 | ||
38 | void print_help(void); | 38 | static void print_help(void); |
39 | void print_usage(void); | 39 | void print_usage(void); |
40 | 40 | ||
41 | int main(int argc, char **argv) { | 41 | int main(int argc, char **argv) { |