tree 1bb4d15366403bbfefc91d3fa8583ea69ffb2c1e
parent b63b2677bc7e3aecff671a23f387004d2abc8e71
author Geoffrey Martin-Noble <gcmn@google.com> 1683302183 -0700
committer GitHub <noreply@github.com> 1683302183 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJkVScnCRBK7hj4Ov3rIwAA/cEIAHEc4c+z4XaP2+0BWV6bELVn
 hw5wXaV5TnELZjOPY10vbLjuJCUutm38h9uBwK3g3wbovncBggeUUdLgOBdgfZ0M
 ckmjAtx2xLx8eC7riuU+ga2+zrXIOhvF0APLh/vochb3wfphenl4EgrUoNjjsozh
 ms2HoHOR/7+Q9I70MU2YE4exwZi/Et0shiTzoSUmoDGTu2A4D+BfWWLsgJrJBExH
 DAtlq/Oug308SlXn17RzDOlckFcX13Geu5E5VfHbOaYUMRtTc9+wIv5FY78esTdO
 Ylhs0wPZ90ay98zQiRqYXpoM5JB9jFHCWKvvRXQGGq9DwkhJpiQwjy93SpFDxT0=
 =mgTZ
 -----END PGP SIGNATURE-----
 

Stop trying to skip lint checks if tools are missing (#13411)

This functionality is broken. The DEBUG trap runs *before* each command,
not after. Better to have a clear error message than confusing failures,
which is what we get now. The logic for doing this was also super
verbose and complicated.

We should really rewrite this whole thing in Python.

skip-ci: lint scripts don't affect CI