Skip to content

Commit 16d52cc

Browse files
authored
flambda-backend: Speed up compile time for dev builds (#2304)
* fix warning * add --enable-dev-build * rename flag to --enable-dev
1 parent eb54885 commit 16d52cc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile.common-jst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ define dune_main_context
4242
(lang dune 2.8)
4343
(context (default
4444
(name main)
45-
(profile main)
45+
(profile $(main_build_profile))
4646
(paths
4747
(PATH ("$(CURDIR)/_build/_bootinstall/bin" :standard))
4848
(OCAMLLIB ("$(CURDIR)/_build/install/runtime_stdlib/lib/ocaml_runtime_stdlib")))

0 commit comments

Comments
 (0)