diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-06-13 11:06:47 +0100 |
|---|---|---|
| committer | Edoardo Pasca <edo.paskino@gmail.com> | 2019-06-13 11:06:47 +0100 |
| commit | 3352510df0967c79eb9d06f9e024c8fdcdacd677 (patch) | |
| tree | a08fb2da9a830aa2892b296d65465e729e3b4b1e /build/jenkins-build.sh | |
| parent | e0968ac0dee1b8a46bfd75a357df704118ad05a7 (diff) | |
| download | framework-3352510df0967c79eb9d06f9e024c8fdcdacd677.tar.gz framework-3352510df0967c79eb9d06f9e024c8fdcdacd677.tar.bz2 framework-3352510df0967c79eb9d06f9e024c8fdcdacd677.tar.xz framework-3352510df0967c79eb9d06f9e024c8fdcdacd677.zip | |
test binary divide speedup is tested on 10 consecutive divisions
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions