Andrew Dunstan <andrew@dunslane.net> writes:
> If it's about what to quote, we need to quote anything that might
> contain a newline, quote or comma. Filenames certainly come into that
> category.
These are not general file paths, these are base names of our own C
source code files. I don't have a problem with legislating that we will
never have such characters in backend source file names ...
regards, tom lane