| commit | b0c260881f5a5062698fedfb3c272e6a6893f9d3 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Mon Jun 22 12:30:52 2020 +0200 |
| committer | GitHub <noreply@github.com> | Mon Jun 22 12:30:52 2020 +0200 |
| tree | b1f38f54f695a7827b94fe2ee1857f1ec8a892a2 | |
| parent | 66e4dffa4ec623103ec6758a19131ce85f599aef [diff] | |
| parent | 1bff6847fb20869a2738d8171fc137a9d77f9496 [diff] |
Merge pull request #3442 from mpg/make-coverage-script-deterministic-2.16 [Backport 2.16] Make basic-build-test.sh more deterministic