commit | eaf31e39c232f98a4463a7477f89cba3ea915150 | [log] [tgz] |
---|---|---|
author | Gilles Peskine <gilles.peskine@arm.com> | Mon Jun 22 12:30:54 2020 +0200 |
committer | GitHub <noreply@github.com> | Mon Jun 22 12:30:54 2020 +0200 |
tree | a52cd5df73cc089afe0cf72d6c13776c8e51f557 | |
parent | 44183d15489154fbce07ba216737f2cdbc3fa407 [diff] | |
parent | e4a5c05d498911d23d6234083296bf2b654c35d0 [diff] |
Merge pull request #3443 from mpg/make-coverage-script-deterministic-2.7 [Backport 2.7] Make basic-build-test.sh more deterministic