Lines Matching defs:archive_name
137 static char *archive_name = (char *)0;
469 archive_name = (char *)0;
604 archive_name = filename;
886 if (archive_name == (char *)0) {
890 archive_name, fname);
1025 if (archive_name != (char *)0)
1027 archive_name, filename,
1133 if (archive_name != (char *)0)
1134 (void) printf("%s:%s:%s\n", archive_name,
1296 if (archive_name != (char *)0)
1297 (void) printf("%s:%s:%s\n", archive_name,