+/*****************************************************************************/
+/* Code */
+/*****************************************************************************/
+
+
+
+void DumpBuiltinConfig (FILE* F, target_t T)
+/* Dump a builtin linker configuration */
+{
+ /* Check the given parameter */
+ PRECONDITION (T > TGT_UNKNOWN && T < TGT_COUNT);
+
+ /* Dump the config */
+ fprintf (F, "%s\n", Targets[T].Cfg);
+}
+
+
+