diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/krb5/os/timeofday.c | 4 | ||||
| -rw-r--r-- | src/lib/krb5/os/ustime.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/lib/krb5/os/timeofday.c b/src/lib/krb5/os/timeofday.c index 2accf4faa..788fb32c8 100644 --- a/src/lib/krb5/os/timeofday.c +++ b/src/lib/krb5/os/timeofday.c @@ -10,10 +10,10 @@ * libos: krb5_timeofday function for BSD 4.3 */ -#ifndef lint +#if !defined(lint) && !defined(SABER) static char rcsid_timeofday_c[] = "$Id$"; -#endif /* lint */ +#endif /* lint || saber */ #include <krb5/copyright.h> diff --git a/src/lib/krb5/os/ustime.c b/src/lib/krb5/os/ustime.c index 126a84170..99ac576c1 100644 --- a/src/lib/krb5/os/ustime.c +++ b/src/lib/krb5/os/ustime.c @@ -10,10 +10,10 @@ * krb5_mstimeofday for BSD 4.3 */ -#ifndef lint +#if !defined(lint) && !defined(SABER) static char rcsid_mstime_c[] = "$Id$"; -#endif /* lint */ +#endif /* lint || SABER */ #include <krb5/copyright.h> |