-
Mikaël Salson authored
In some cases we may not have access to /dev/stderr which causes an error. This has been rewritten to redirect the output both to STDERR and STDIN. The output which is on STDIN is still grep-ped to check the number of errors.
4f16ff23