static void ns32k_output_function_prologue PARAMS ((FILE *, HOST_WIDE_INT));
static void ns32k_output_function_epilogue PARAMS ((FILE *, HOST_WIDE_INT));
static void ns32k_encode_section_info PARAMS ((tree, int));
+#ifdef COLLECT
+static void ns32k_globalize_label PARAMS ((FILE *, const char *));
+#endif
\f
/* Initialize the GCC target structure. */
#undef TARGET_ATTRIBUTE_TABLE
|| ! TREE_PUBLIC (decl));
}
}
+
+#ifdef COLLECT
+static void
+ns32k_globalize_label (stream, name)
+ FILE *stream;
+ const char *name;
+{
+ fprintf (stream, "\t.globl\t%s\n", name);
+}
+#endif