Makefile: Remove /dev/stderr
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.
Please register or sign in to comment