On Mon, Nov 4, 2019 at 2:28 PM Shengjing Zhu wrote: > On Mon, Nov 4, 2019 at 5:18 AM Adam Borowski wrote: > > On Sun, Nov 03, 2019 at 04:27:12PM +0000, Mo Zhou wrote: > > > > No check for AVX yet, but a quick hack that may be useful to you is attached > > to: https://lists.debian.org/debian-devel/2017/08/msg00200.html > > I think this could be added to lintian. > > lintian could give a warning if the generated binaries break ISA baseline.
The post linked to says this: "there's way too many false positives to turn this into a lintian check" -- bye, pabs https://wiki.debian.org/PaulWise
