--- micropolis/src/tclx/config/ultrix4.2	2020/03/11 09:08:51	1.1
+++ micropolis/src/tclx/config/ultrix4.2	2020/03/11 09:08:51	1.1.1.1
@@ -1,7 +1,7 @@
 #------------------------------------------------------------------------------
 # DEC Ultrix 4.2 
 #------------------------------------------------------------------------------
-# $Id: ultrix4.2,v 1.1 2020/03/11 09:08:51 root Exp $
+# $Id: ultrix4.2,v 1.1.1.1 2020/03/11 09:08:51 root Exp $
 #------------------------------------------------------------------------------
 #
 SYS_DEP_FLAGS=-DTCL_HAVE_SETLINEBUF -DTCL_32_BIT_RANDOM -DTCL_TM_GMTOFF