Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tools/ci/inria/extra-checks: stop mentionning the world target 

This change is similar to the one in commit 2d927d8be6.
master
Sébastien Hinderer 2020-08-03 16:44:23 +02:00
parent f3e7475b6a
commit bf888763cd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/ci/inria/extra-checks
View File

@ -253,5 +253,5 @@ TSAN_OPTIONS="die_after_fork=0" $run_testsuite
# export MSAN_SYMBOLIZER_PATH=/usr/lib/llvm-6.0/bin/llvm-symbolizer
# # Build the system (bytecode only) and test
# make $jobs world
# make $jobs
# $run_testsuite