Skip to content

Commit

Permalink
chore: Promote change due to #11172 (#11198)
Browse files Browse the repository at this point in the history
When building dune this change gets promoted when rebuilding. To prevent
it leaking into unrelated PRs this PR adds it explicitely.

Signed-off-by: Marek Kubica <[email protected]>
  • Loading branch information
Leonidas-from-XIV authored Dec 13, 2024
1 parent ef02bd7 commit e4e98e1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dune_rules/setup.defaults.ml
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ let roots : string option Install.Roots.t =
; libexec_root = None
}

let prefix : string option = None
let toolchains = `Enabled
let pkg_build_progress = `Disabled
let lock_dev_tool = `Disabled
let prefix = None

0 comments on commit e4e98e1

Please sign in to comment.