• Petr Špaček's avatar
    Fail ASAP in *_run.sh scripts · 23123278
    Petr Špaček authored
    Failing early is especially important in scripts which run make multiple
    times. It prevents the user from missing some failing tests in earlier
    runs.
    23123278