--- tc.c.orig	Thu Sep 26 17:32:47 2002
+++ tc.c	Thu Sep 26 17:37:52 2002
@@ -237,6 +237,18 @@
 
 void tc_pragma(const PARAM *params)
 {
-    if (prm_present(params,&prm_pragma))
-	yywarn("\"pragma\" parameter ignored by \"tc\" target");
+    const DATA_LIST *pragma;
+
+    if (!prm_present(params,&prm_pragma)) return;
+    for (pragma = prm_data(params,&prm_pragma).u.list; pragma;
+      pragma = pragma->next) {
+	const char *s;
+
+	s = pragma->ref->u.string;
+	if (*s != '#') {
+	    yywarn("\"pragma\" parameter ignored by \"tc\" target");
+	    return;
+	}
+	printf("# %s\n",s+1);
+    }
 }