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 c17f3b7e authored by GILLES Sebastien's avatar GILLES Sebastien
Browse files

#177 Valgrind CI: try to fix generator error.

parent 5768d2f4
......@@ -43,7 +43,7 @@ class RunValgrind:
cmd = ("python",
f"{morefem_cmake_dir}/Scripts/configure_cmake.py",
f"--cache_file={morefem_cmake_dir}/PreCache/linux.cmake",
'--cmake_args="-G Ninja"',
'--cmake_args=\"-G Ninja\"',
"--third_party_directory=/opt",
'--mode=debug')
......
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