diff --git a/c/src/lib/libcpu/mips/clock/ckinit.c b/c/src/lib/libcpu/mips/clock/ckinit.c
index 9d30652376..020f386da6 100644
--- a/c/src/lib/libcpu/mips/clock/ckinit.c
+++ b/c/src/lib/libcpu/mips/clock/ckinit.c
@@ -31,9 +31,13 @@
  *  $Id$
  */
 
-#ifndef lint
-static char _sccsid[] = "@(#)ckinit.c 08/20/96     1.3\n";
-#endif
+/*
+ *  Rather than deleting this, it is commented out to (hopefully) help
+ *  the submitter send updates.
+ *
+ *  static char _sccsid[] = "@(#)ckinit.c 08/20/96     1.3\n";
+ */
+
 
 #include <stdlib.h>
 
diff --git a/c/src/lib/libcpu/mips/timer/timer.c b/c/src/lib/libcpu/mips/timer/timer.c
index 4e3cfb06b0..c47507a371 100644
--- a/c/src/lib/libcpu/mips/timer/timer.c
+++ b/c/src/lib/libcpu/mips/timer/timer.c
@@ -38,9 +38,13 @@
  *  $Id$
  */
 
-#ifndef lint
-static char _sccsid[] = "@(#)timer.c 08/20/96     1.5\n";
-#endif
+/*
+ *  Rather than deleting this, it is commented out to (hopefully) help
+ *  the submitter send updates.
+ *
+ *  static char _sccsid[] = "@(#)timer.c 08/20/96     1.5\n";
+ */
+
 
 #include <rtems.h>
 #include <bsp.h>
diff --git a/c/src/lib/libcpu/mips64orion/clock/ckinit.c b/c/src/lib/libcpu/mips64orion/clock/ckinit.c
index 9d30652376..020f386da6 100644
--- a/c/src/lib/libcpu/mips64orion/clock/ckinit.c
+++ b/c/src/lib/libcpu/mips64orion/clock/ckinit.c
@@ -31,9 +31,13 @@
  *  $Id$
  */
 
-#ifndef lint
-static char _sccsid[] = "@(#)ckinit.c 08/20/96     1.3\n";
-#endif
+/*
+ *  Rather than deleting this, it is commented out to (hopefully) help
+ *  the submitter send updates.
+ *
+ *  static char _sccsid[] = "@(#)ckinit.c 08/20/96     1.3\n";
+ */
+
 
 #include <stdlib.h>
 
diff --git a/c/src/lib/libcpu/mips64orion/timer/timer.c b/c/src/lib/libcpu/mips64orion/timer/timer.c
index 4e3cfb06b0..c47507a371 100644
--- a/c/src/lib/libcpu/mips64orion/timer/timer.c
+++ b/c/src/lib/libcpu/mips64orion/timer/timer.c
@@ -38,9 +38,13 @@
  *  $Id$
  */
 
-#ifndef lint
-static char _sccsid[] = "@(#)timer.c 08/20/96     1.5\n";
-#endif
+/*
+ *  Rather than deleting this, it is commented out to (hopefully) help
+ *  the submitter send updates.
+ *
+ *  static char _sccsid[] = "@(#)timer.c 08/20/96     1.5\n";
+ */
+
 
 #include <rtems.h>
 #include <bsp.h>