Let “make patchcheck” work for out-of-dir builds (#9860)
1 file changed