fix #ifdef for lint/SABER

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

diff --git a/src/lib/krb5/os/timeofday.c b/src/lib/krb5/os/timeofday.c
index 2accf4faa49efe296145b5ecadd52a599b1d6c53..788fb32c84793d4c451cdc88e5d7cb62aec2a813 100644 (file)
--- 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 126a841705cd0647fbcefc119de47e6563c50a64..99ac576c1a90470f44d44d2c455d31b9d069f886 100644 (file)
--- 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>