--- micropolis/src/tclx/config/sgi	2020/03/11 09:08:51	1.1
+++ micropolis/src/tclx/config/sgi	2020/03/11 09:08:51	1.1.1.1
@@ -5,7 +5,7 @@
 # is 12:00 AM, %I and %r return times of 00:00, as if it was 24-hour time.
 # We substitute in our own version of strftime to fix this problem.
 #------------------------------------------------------------------------------
-# $Id: sgi,v 1.1 2020/03/11 09:08:51 root Exp $
+# $Id: sgi,v 1.1.1.1 2020/03/11 09:08:51 root Exp $
 #------------------------------------------------------------------------------
 #
 SYS_DEP_FLAGS=-DTCL_HAVE_SETLINEBUF -DTCL_POSIX_SIG -DTCL_IEEE_FP_MATH -DTCL_TIMEZONE_VAR