tree 0fdffa47f72926ae986483393c065aef11f2ae4a
parent a5f5ad3cf4a4c14f19a5ab66ff6f064c3bc5d781
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1551260816 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1554470630 +0200

Fix the proxy seed in Travis runs

This is what we do in Jenkins, so it only makes sense to do it here as well.
This will avoid random failures for no other reason than the proxy was
dropping all the messages due to an unlucky PRNG seed.

See https://docs.travis-ci.com/user/environment-variables/ for syntax