Merge branch 'ci-dev-urandom' into 'master'

Use /dev/urandom for CI

See merge request briar/briar!899
This commit is contained in:
Torsten Grote
2018-08-20 16:24:49 +00:00
8 changed files with 33 additions and 3 deletions

View File

@@ -186,4 +186,7 @@ project.afterEvaluate {
preBuild.dependsOn.add(verifyTranslations)
}
tasks.withType(Test) {
// Use entropy-gathering device specified on command line, if any
systemProperty 'java.security.egd', System.getProperty('java.security.egd')
}