1
4%
master: 4%

Ran 22 Mar 2019 09:34AM UTC

Files 647

Run time 46s

Badge

Embed ▾

Committed 22 Mar 2019 09:07AM UTC coverage: 77.314% (-0.001%) from 77.315%

Job # TEST_SUITES="docomp testtravis"

Build Type

push

travis-ci

Committed by

ChrisJefferson

Commit Message

buildsys: resolve some issues if path contains spaces

Properly quote paths in a few more places to ensure the affected
scripts work inside directories with spaces in their name.

Note that even though a few GMP files also are fixed, this is not
enough to actually allow GMP to build in the described situation:
GMP even contains a check that aborts compilation if there are spaces
in the PWD (but these checks actually only are reached with the
fixes in this PR...). The main reason I added the GMP fixes here is
that perhaps they can be contributed back to upstream, in case
upstream is not completely against trying to address this issue.

Run Details

241487 of 312345 relevant lines covered (77.31%)

7824999.6 hits per line

gap-system / gap / 9478 / 1
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9478.1 (TEST_SUITES="docomp testtravis")

gap-system / gap / 9478 / 1 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9478.1 (TEST_SUITES="docomp testtravis")

gap-system / gap / 9478 / 1
4%
master: 4%

README BADGES
x