diff options
Diffstat (limited to 'platform.h')
-rw-r--r-- | platform.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform.h b/platform.h index e687c99b6..e97ecd909 100644 --- a/platform.h +++ b/platform.h | |||
@@ -31,6 +31,7 @@ void platform_setusercontext_post_groups(struct passwd *); | |||
31 | char *platform_get_krb5_client(const char *); | 31 | char *platform_get_krb5_client(const char *); |
32 | char *platform_krb5_get_principal_name(const char *); | 32 | char *platform_krb5_get_principal_name(const char *); |
33 | int platform_sys_dir_uid(uid_t); | 33 | int platform_sys_dir_uid(uid_t); |
34 | void platform_disable_tracing(int); | ||
34 | 35 | ||
35 | /* in platform-pledge.c */ | 36 | /* in platform-pledge.c */ |
36 | void platform_pledge_agent(void); | 37 | void platform_pledge_agent(void); |