--- coherent/g/usr/bin/ksh/getopts.c	2019/05/29 04:56:35	1.1
+++ coherent/g/usr/bin/ksh/getopts.c	2019/05/29 04:56:35	1.1.1.1
@@ -6,7 +6,7 @@
  * modified for PD ksh by Eric Gisin
  */
 
-static char *RCSid = "$Header: /var/lib/cvsd/coherent/coherent/g/usr/bin/ksh/getopts.c,v 1.1 2019/05/29 04:56:35 root Exp $";
+static char *RCSid = "$Header: /var/lib/cvsd/coherent/coherent/g/usr/bin/ksh/getopts.c,v 1.1.1.1 2019/05/29 04:56:35 root Exp $";
 
 #include <stddef.h>
 #include <stdlib.h>