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

Inria CI extra-checks: remove left-over from commit 12aa0caf5a

master
Sébastien Hinderer 2018-06-08 15:06:21 +02:00
parent 35e6e70ad6
commit 4de595e373
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -184,9 +184,6 @@ set_config_var CFLAGS "-O1 \
-fsanitize=thread \
-fsanitize-blacklist=$(pwd)/tools/ci/inria/tsan-suppr.txt"
# ThreadSanitizer reacts poorly to stack overflow, so don't test for it.
undefine_macro HAS_STACK_OVERFLOW_DETECTION byterun/caml/s.h
# Build the system
make $jobs world.opt