Mentions légales du service

Skip to content
  • Mikaël Salson's avatar
    Makefile: Remove /dev/stderr · 4f16ff23
    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