8
4%
master: 4%

Ran 05 Aug 2020 08:21PM UTC

Files 648

Run time 3min

Badge

Committed 05 Aug 2020 03:52PM UTC coverage: 71.374%. Remained the same

Job # CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Fix output redirection for firefox other browsers

... when they are used as help viewers. In the old version of the code,
output from stderr was redirect into a file named "1"; now it is redirected
to stdout, as likely was the intention.

It is still not clear to me how useful that is: Will the user see the output
on stdout? If so, won't they also see the output to stderr? So why do we
need to redirect it? But I have no way to test any of this right now, so
I went with the minimal "obvious" fix.

Run Details

208708 of 292413 relevant lines covered (71.37%)

4907385.84 hits per line

Source Files on job 12183.8 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES=testmanuals)

gap-system / gap / 12183 / 8
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 12183.8 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES=testmanuals)

gap-system / gap / 12183 / 8 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 12183.8 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES=testmanuals)

gap-system / gap / 12183 / 8
4%
master: 4%

README BADGES
x