COMPILE_COMMANDS_JSON

The default name of the JSON database file.