From c1f00c95ada990867717778efa05f69af11a5e3d Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 9 Jun 2017 12:39:28 +0100 Subject: [PATCH] Use --dev for running tests Otherwise we always have to recompile jbuilder for running tests. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 8b2fcdf6..2686b886 100644 --- a/Makefile +++ b/Makefile @@ -16,10 +16,10 @@ uninstall: reinstall: uninstall reinstall test: - $(BIN) runtest + $(BIN) runtest --dev all-supported-ocaml-versions: - $(BIN) build @install @runtest --workspace jbuild-workspace.dev --root . + $(BIN) build --dev @install @runtest --workspace jbuild-workspace.dev --root . clean: $(BIN) clean