305
65%

Ran 22 Jun 2018 05:34PM UTC

Jobs 1

Files 386

Run time 35s

Badge

Embed ▾

pending completion

Build # 305

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Fix to 'make install'

Removed the $(build_dir) and $(dist_dir) dependencies from
the install-default target in a Makefile.

If the build or dist directories are missing then
'sudo make install' should fail without touching anything.
We don't want to create missing build or dist directories
owned by root.

Run Details

60422 of 91136 relevant lines covered (66.3%)

1224797.84 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	305.1	22 Jun 2018 05:34PM UTC	0	66.3	Travis Job 305.1

Source Files on build 305

Detailed source file information is not available for this build.

SRI-CSL / yices2 / 305
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 305

SRI-CSL / yices2 / 305 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 305

SRI-CSL / yices2 / 305
65%

README BADGES
x