diff --git a/ocaml/Makefile.am b/ocaml/Makefile.am index 7de2e81ce..db13a8ff2 100644 --- a/ocaml/Makefile.am +++ b/ocaml/Makefile.am @@ -155,7 +155,7 @@ if HAVE_OCAMLOPT endif check-valgrind: - $(MAKE) VG="$(top_builddir)/run @VG@" check + $(MAKE) VG="$(top_builddir)/run @VG@" TESTS="$(test_progs_all)" check # Dependencies. %.cmi: %.mli