https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90380

--- Comment #1 from Victor <vsande at cimne dot upc.edu> ---
Sorry,

the command to launch the docker container has an extra `gcov` at the end.

To correctly launch the container, please use this command:

$ docker run --rm -ti fempar/fempar:gnu-8.3.0_gcov-issue

Best,
VĂ­ctor

Reply via email to