diff --git a/Makefile b/Makefile index c1f5943d0..9bbf3c910 100644 --- a/Makefile +++ b/Makefile @@ -64,7 +64,7 @@ test: node $(TEST_DIR)/haz3ltest.bc.js watch-test: - dune build @fmt @runtest --auto-promote --watch + dune build @fmt @runtest @default --profile dev --auto-promote --watch clean: dune clean