debug

kit-ty-kate · Oct 2, 2024 · 5b81310 · 5b81310
1 parent a79410e
commit 5b81310
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -37,7 +37,7 @@ ALWAYS:
 	@
 
 DUNE_DEP = $(DUNE_EXE)
-JBUILDER_ARGS ?=
+JBUILDER_ARGS ?= --verbose
 DUNE_ARGS ?= $(JBUILDER_ARGS)
 DUNE_PROFILE ?= release