Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 5768d2f4 authored by GILLES Sebastien's avatar GILLES Sebastien
Browse files

#177 Valgrind CI: try to fix mode error.

parent 4feb85fb
......@@ -45,7 +45,7 @@ class RunValgrind:
f"--cache_file={morefem_cmake_dir}/PreCache/linux.cmake",
'--cmake_args="-G Ninja"',
"--third_party_directory=/opt",
'--mode="debug"')
'--mode=debug')
subprocess.run(cmd, shell = False).check_returncode()
......
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