Commit fc5abab8 authored by GILLES Sebastien's avatar GILLES Sebastien

#1496 CI: fix valgrind path for Verrou script.

parent 800a1a30
......@@ -62,7 +62,7 @@ class RunVerrou:
os.environ["MOREFEM_ROOT"] = str(self.__morefem_root_dir)
cmd = ["valgrind",
cmd = ["/opt/Verrou/bin/valgrind",
"--error-exitcode=1",
f"--log-file={self.__output}",
"--tool=verrou",
......
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