fix up #ifndef for lint/saber

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@275 dc483132-0cff-0310-8789-dd5450dbe970

diff --git a/src/lib/krb5/os/lock_file.c b/src/lib/krb5/os/lock_file.c
index 7935a1dcbd93cdc45ab95c3ec937e5436a9dac8a..d57652004a499076d68f657cc9515f41309b9d1b 100644 (file)
--- a/src/lib/krb5/os/lock_file.c
+++ b/src/lib/krb5/os/lock_file.c
@@ -10,10 +10,10 @@
  * libos: krb5_lock_file routine
  */
 
-#ifndef        lint
+#if !defined(lint) && !defined(SABER)
 static char rcsid_lock_file_c [] =
 "$Id$";
-#endif /* lint */
+#endif /* !lint & !SABER */
 
 #include <krb5/copyright.h>