Hello!

Just a nit:

+proc check_prefer_avx128_specified { } {

Please name this function check_prefer_avx128.  Nothing was specified anywhere.

Thanks,
Uros.

Reply via email to