[PATCH v1 3/4] scripts/gen_compile_commands.py: fix docstring