From ea523fd1d540814ff828af1af64dc0a028bb6e04 Mon Sep 17 00:00:00 2001
From: John Kohl <jtkohl@mit.edu>
Date: Tue, 23 Jan 1990 15:03:49 +0000
Subject: [PATCH] fix #ifdef for lint/SABER

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@172 dc483132-0cff-0310-8789-dd5450dbe970
---
 src/lib/krb5/os/timeofday.c | 4 ++--
 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>
 
-- 
2.26.2