--- micropolis/src/tclx/config/linux	2020/03/11 09:08:51	1.1
+++ micropolis/src/tclx/config/linux	2020/03/11 09:08:51	1.1.1.1
@@ -1,7 +1,7 @@
 #------------------------------------------------------------------------------
 # SUN OS newer versions (~4.1, let us know which ones works for you)
 #------------------------------------------------------------------------------
-# $Id: linux,v 1.1 2020/03/11 09:08:51 root Exp $
+# $Id: linux,v 1.1.1.1 2020/03/11 09:08:51 root Exp $
 #------------------------------------------------------------------------------
 #
 SYS_DEP_FLAGS=-DTCL_HAVE_SETLINEBUF -DTCL_32_BIT_RANDOM -DTCL_POSIX_SIG -DTCL_TM_GMTOFF