tree 2fd3e07d8053cf48522b484b8b0cefd1264bfa14
parent d5200371ec383d32dd3cb9a105cb11f75749ae25
parent b09e001d698764b9b5e0e1ce5a76ac1d2c4e407d
author Gilles Peskine <gilles.peskine@arm.com> 1617699934 +0200
committer GitHub <noreply@github.com> 1617699934 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgbCReCRBK7hj4Ov3rIwAAdHIIAFcfeKRAuWtj884gpbxhrxGm
 qMz0v2n1Kd/X+G/euus73URXNUd09SJFpEs45uIzXFWR0lLJDkeoZ9DzEUkbAJ74
 TZwNFWrtjidyLQqtBSpQruHfqfzx0cOzVrpaib57Nw4dHNbFrDoKrusKYnHwzDpE
 LjH4jNu2E4jhz05eoZL9xXk63dWzkF2xDDSmVUfQ6dm63DI7PR5oszNR0vDMh8Sj
 amA/5FoTRdlZh+T7j/7qp+y2wGEacUoilVpNxzlPXil7Q5yKMD31riOZDtCnYfD7
 NkXGlB1wfzBvNVMhL5iqlZdOL8SBCwMVtYmUZWuhLgOdT0qFIM7If+DRmkP6yOM=
 =C2M3
 -----END PGP SIGNATURE-----
 

Merge pull request #3615 from gilles-peskine-arm/ssl-opt-less-grep-development

Speed up ssl-opt.sh when running a small number of test cases