tree a52cd5df73cc089afe0cf72d6c13776c8e51f557
parent 44183d15489154fbce07ba216737f2cdbc3fa407
parent e4a5c05d498911d23d6234083296bf2b654c35d0
author Gilles Peskine <gilles.peskine@arm.com> 1592821854 +0200
committer GitHub <noreply@github.com> 1592821854 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJe8IheCRBK7hj4Ov3rIwAAdHIIAJTvCvThmb7tQ8GwYvLD7ryZ
 kCytMT25p3/tN5rd69dZyt6AyJ80Ekmvug/kps7fyZFxWS7GVxclj3IzazVpJ3Mw
 n863LUIFpSZbPc/3KsvmFaYlbCMrQQNZl2Gik36h8wsJJRFZAsTdZhJIQ+pKMhY0
 ieEoU/Os4PMHmYeOjRu93FW6RZzb+1vLcozSWgvgdO2VrOIriFchTay6eW+99CiV
 czPPnEm9U2Gp09+TQaJ1QEK85ZZHe4/XS08C7ZvW8dTxDEO2rmSscorNER2kfiH0
 EES5vMbUM2uZ0YPFa0KIx5mmUT9U17eAWVTHsIgllPQZxMTnpMWZUuppaKt3PoE=
 =tyZQ
 -----END PGP SIGNATURE-----
 

Merge pull request #3443 from mpg/make-coverage-script-deterministic-2.7

[Backport 2.7] Make basic-build-test.sh more deterministic