added rcsid
authorsater <none@none>
Thu, 17 May 1984 13:57:07 +0000 (13:57 +0000)
committersater <none@none>
Thu, 17 May 1984 13:57:07 +0000 (13:57 +0000)
util/opt/alloc.c
util/opt/backward.c
util/opt/flow.c
util/opt/lookup.c
util/opt/main.c
util/opt/peephole.c
util/opt/process.c
util/opt/putline.c
util/opt/special.c
util/opt/util.c
util/opt/var.c

index df82cfe..694a056 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include <stdio.h>
 #include "param.h"
 #include "types.h"
index 1fef284..ab842f8 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 #include "assert.h"
index 3df6c4e..2f7d79a 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 #include "../../h/em_flag.h"
index 567baa8..f924dc0 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 #include "lookup.h"
index 185bd4e..11b274f 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include <stdio.h>
 #include "param.h"
 #include "types.h"
index 8696cb8..1a52bee 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 #include "assert.h"
index 12ca07f..0c763d8 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 #include "assert.h"
index 627a999..cc152bc 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 #include "assert.h"
index ffa5fb4..5147aa9 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include "param.h"
 #include "types.h"
 
index b44f20a..85529cd 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include <stdio.h>
 #include "param.h"
 #include "types.h"
index d7f9a33..9d5be0a 100644 (file)
@@ -1,3 +1,7 @@
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 #include <stdio.h>
 #include "param.h"
 #include "types.h"