- if (D->file.fn) {
- dprintf(fd, "// filename=%s (%u errors)\n", D->file.fn, D->errors);
- if (D->file.ln) {
- dprintf(fd, "lib \"%s\";\n", D->file.ln);
+ if (D->file.filename) {
+ size_t i = 0;
+ char *libname;
+
+ dprintf(fd, "// filename=%s (%u errors)\n", D->file.filename, D->errors);
+ while (psi_plist_get(D->file.libnames, i++, &libname)) {
+ dprintf(fd, "lib \"%s\";\n", libname);