Home
last modified time | relevance | path

Searched refs:JSON_FILE_EXTENSION (Results 1 - 1 of 1) sorted by relevance

/third_party/node/deps/v8/tools/
H A Dgenerate-runtime-call-stats.py26 JSON_FILE_EXTENSION=".pb_converted.json" variable
383 trace_file_glob = os.path.join(trace_dir, "*" + JSON_FILE_EXTENSION)
386 print("Could not find *%s file in %s" % (JSON_FILE_EXTENSION, trace_dir))
475 # Delete all files bottom up except ones ending in JSON_FILE_EXTENSION and
480 if not file_name.endswith(JSON_FILE_EXTENSION):

Completed in 2 milliseconds