diff options
author | Sander Vrijders <[email protected]> | 2016-02-26 16:07:33 +0100 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2016-02-26 16:07:33 +0100 |
commit | 0ab26ce5ae6c80313e55e3251cc0ee180419f696 (patch) | |
tree | a5a451524078e6c97083171d79c4ca8a8e089d92 /src/tools/irm | |
parent | 7b6fc640c7d31ff8979194813b0fa0e7b4f24bde (diff) | |
download | ouroboros-0ab26ce5ae6c80313e55e3251cc0ee180419f696.tar.gz ouroboros-0ab26ce5ae6c80313e55e3251cc0ee180419f696.zip |
build: Allow at most 5 errors per build
This will show more interesting output when building in Semaphore.
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions