diff --git a/Makefile b/Makefile index 413254d16f14a82cc0f073a5d7b718366b1d26c9..fc7a1d11d6b957314b431386ded1465d2db218c0 100644 --- a/Makefile +++ b/Makefile @@ -23,4 +23,4 @@ clean: make -C tests clean test: main.native - make -C tests + OCAMLRUNPARAM=b make -C tests