Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit eff75d82 authored by Mikaël Salson's avatar Mikaël Salson

algo/tests/Makefile: Longer timeout for should.py with valgrind

Executing valgrind can take more time, thus we need to increase the default timeout to make
sure the program has time to properly execute.
parent b8fae1c9
Pipeline #66380 passed with stages
in 246 minutes and 14 seconds
......@@ -122,7 +122,7 @@ curated-vdj.zip: $(SHOULD_VDJ_ARCHIVE)
valgrind_should: vidjil
$(MAKE) -C "$(REPORTS_PATH)" clean_valgrind
time python3 should.py --launcher "$(VALGRIND_CMD)" --extra=--clean-memory $(SHOULD)
time python3 should.py --timeout 300 --launcher "$(VALGRIND_CMD)" --extra=--clean-memory $(SHOULD)
valgrind_%:
LAUNCHER="$(VALGRIND_CMD)" $(MAKE) $(patsubst valgrind_%,%,$@)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment