DescriptionCosmetic fixes to clobber_generated_headers.py:
Only try to remove a generated header file if it exists.
Only report "Clobbered" if we actually removed something.
Print the actual system error if the removal fails.
Print the error message on stderr, not stdout.
Normalize the header file path name.
BUG=none
TEST=none
Patch Set 1 #
Messages
Total messages: 4 (0 generated)
|