Change the default build profile to dev during bootstrap
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
parent
af6f003d13
commit
473dd9b440
|
@ -267,7 +267,7 @@ let bootstrap () =
|
||||||
; contexts = [Default { targets = [Native]
|
; contexts = [Default { targets = [Native]
|
||||||
; profile =
|
; profile =
|
||||||
Option.value !profile
|
Option.value !profile
|
||||||
~default:"default"
|
~default:"dev"
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue