#7655
88%
master: 83%

Ran 26 May 2020 06:29PM UTC

Jobs 1

Files 73

Run time 7s

Badge

Embed ▾

Committed 26 May 2020 06:12PM UTC coverage: 87.692%. Remained the same

Build # #7655

Build Type

push

travis-ci

Committed by

ilammy

Commit Message

Improve Java library path reporting

Sometimes "jnidir" gets duplicate slashes in it if the user sets PREFIX
to something like "/usr/". We check Java library paths by textual
inclusion so duplicate slashes can fail to match. Normalize the path
by cding into that directory and printing its absolute path. (This is
the most portable way to normalize a directory path.)

Furthermore, the "grep -vq" hack is incorrect and matches all inputs.
Do this check in a different way: look for the "jnidir" value in the
library paths and invert the result in shell conditional.

Run Details

3776 of 4306 relevant lines covered (87.69%)

19285.99 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#7655.1	26 May 2020 06:29PM UTC	0	87.69

Source Files on build #7655

Detailed source file information is not available for this build.

cossacklabs / themis / #7655
88%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #7655

cossacklabs / themis / #7655 88% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #7655

cossacklabs / themis / #7655
88%
master: 83%

README BADGES
x