diff --git a/Makefile b/Makefile index 5f099abf5a2923e75801201d4bfd901e5fb19115..113a22b738aad7d7e1ee22a20a89d96d3ecd5832 100644 --- a/Makefile +++ b/Makefile @@ -115,7 +115,7 @@ test_irbuild: install .PHONY: test_ourboros test_ourboros: libcore - python3 test/main.py test//testsuite/ouroboros --test_cfg=test/testsuite/ouroboros/test.cfg --timeout=180 -j20 --fail_exit -pFAIL + python3 test/main.py test//testsuite/ouroboros --test_cfg=test/testsuite/ouroboros/test.cfg --timeout=180 -j20 --retry 1 --fail_exit -pFAIL .PHONY: testall testall: test_irbuild test_ourboros