Searched refs:outpath_js (Results 1 – 1 of 1) sorted by relevance
1529 string outpath_js; in createHelperFile() local1530 bool res = replaceExtension(outpath, ".js", outpath_js); in createHelperFile()1532 helpers = unique_ptr<ostream>(new ofstream(outpath_js.c_str())); in createHelperFile()