13
4%
master: 4%

Ran 22 Mar 2019 09:54AM UTC

Files 647

Run time 46s

Badge

Embed ▾

Committed 22 Mar 2019 09:07AM UTC coverage: 74.378%. Remained the same

Job # TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

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

231060 of 310656 relevant lines covered (74.38%)

652217.11 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9478.13 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9478.13 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

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

README BADGES
x