1. 13 Apr, 2017 1 commit
  2. 23 Mar, 2017 1 commit
  3. 17 Feb, 2017 1 commit
    • 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
  4. 09 Feb, 2017 4 commits
  5. 13 Oct, 2015 1 commit