On 5/25/20 11:59 PM, Jason Merrill wrote:
On 5/25/20 4:15 PM, Martin Liška wrote:On 5/25/20 10:08 PM, Jason Merrill wrote:Like so:I like the patch, thanks! The last question I have: Do we want to make installation of the hook optional in gcc-git-customization.sh?Sure:
Thanks, I've just installed your patch and I'm starting testing of it. Martin