[PATCH v4 3/8] scripts/gen_compile_commands.py: fix docstring