diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/krb5/os/read_pwd.c | 2 | ||||
| -rw-r--r-- | src/lib/krb5/os/unlck_file.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/lib/krb5/os/read_pwd.c b/src/lib/krb5/os/read_pwd.c index 357a780e8..c76872610 100644 --- a/src/lib/krb5/os/read_pwd.c +++ b/src/lib/krb5/os/read_pwd.c @@ -10,7 +10,7 @@ * libos: krb5_read_password for BSD 4.3 */ -#ifndef lint +#if !defined(lint) && !defined(SABER) static char rcsid_read_pwd_c[] = "$Id$"; #endif /* lint */ diff --git a/src/lib/krb5/os/unlck_file.c b/src/lib/krb5/os/unlck_file.c index cc9758450..39b1e1fbb 100644 --- a/src/lib/krb5/os/unlck_file.c +++ b/src/lib/krb5/os/unlck_file.c @@ -10,10 +10,10 @@ * libos: krb5_lock_file routine */ -#ifndef lint +#if !defined(lint) && !defined(SABER) static char rcsid_unlock_file_c [] = "$Id$"; -#endif /* lint */ +#endif /* !lint & !SABER */ #include <stdio.h> |