Searched refs:ismc_prefix (Results 1 – 1 of 1) sorted by relevance
620 const char *ismc_prefix) in output_server_manifest() argument636 "content=\"%s%s.ismc\" />\n", ismc_prefix, basename); in output_server_manifest()788 const char *path_prefix = "", *ismc_prefix = ""; in main() local802 ismc_prefix = argv[i + 1]; in main()831 path_prefix, ismc_prefix); in main()