Searched refs:rustHeaderFilename (Results 1 – 1 of 1) sorted by relevance
84 string rustHeaderFilename; in run() local133 rustHeaderFilename = argv[index]; in run()212 rustFilename.empty() && rustHeaderFilename.empty()) { in run()399 if (!rustHeaderFilename.empty()) { in run()405 FILE* out = fopen(rustHeaderFilename.c_str(), "we"); in run()407 fprintf(stderr, "Unable to open file for write: %s\n", rustHeaderFilename.c_str()); in run()