Skip to content

Commit 4454de7

Browse files
chore(docs): mention that the other flags can also be enabled for regular builds (#161)
Signed-off-by: Marek Kubica <[email protected]>
1 parent 8aeb6d9 commit 4454de7

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

lib/main.mlx

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -211,6 +211,8 @@ let q_and_a = [
211211
"$ opam pin add dune --dev"
212212
"$ export DUNE_CONFIG__PKG_BUILD_PROGRESS=enabled"
213213
"$ export DUNE_CONFIG__LOCK_DEV_TOOL=enabled"
214+
"$ export DUNE_CONFIG__BIN_DEV_TOOLS=enabled"
215+
"$ export DUNE_CONFIG__PORTABLE_LOCK_DIRS=enabled"
214216
</Code>
215217
</div>
216218
]

0 commit comments

Comments
 (0)