tools/ci/inria/extra-checks: stop mentionninig world.opt explicitly
this is now what's happening by default when the bytecode compiler has not been disabled, and it has not, here.master
parent
5cb2218044
commit
2d927d8be6
|
@ -185,7 +185,7 @@ set_config_var OC_CFLAGS "-O1 \
|
||||||
|
|
||||||
OCAMLRUNPARAM="c=1" \
|
OCAMLRUNPARAM="c=1" \
|
||||||
LSAN_OPTIONS="suppressions=$(pwd)/tools/ci/inria/lsan-suppr.txt" \
|
LSAN_OPTIONS="suppressions=$(pwd)/tools/ci/inria/lsan-suppr.txt" \
|
||||||
make $jobs world.opt
|
make $jobs
|
||||||
|
|
||||||
# Run the testsuite.
|
# Run the testsuite.
|
||||||
# We deactivate leak detection for two reasons:
|
# We deactivate leak detection for two reasons:
|
||||||
|
@ -215,7 +215,7 @@ set_config_var OC_CFLAGS "-O1 \
|
||||||
-fsanitize=thread"
|
-fsanitize=thread"
|
||||||
|
|
||||||
# Build the system
|
# Build the system
|
||||||
make $jobs world.opt
|
make $jobs
|
||||||
|
|
||||||
# Run the testsuite.
|
# Run the testsuite.
|
||||||
# ThreadSanitizer complains about fork() in threaded programs,
|
# ThreadSanitizer complains about fork() in threaded programs,
|
||||||
|
|
Loading…
Reference in New Issue