Skip to content

Commit

Permalink
fix command in a Coda/Command is already in docker (#5208)
Browse files Browse the repository at this point in the history
  • Loading branch information
bkase committed Jun 24, 2020
1 parent 841f3a9 commit e74569e
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions buildkite/src/Command/Coda.dhall
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ let Size = ./Size.dhall

let dockerImage = (../Constants/ContainerImages.dhall).codaToolchain

let fixPermissionsCommand = Cmd.runInDocker Cmd.Docker::{ image = dockerImage } "sudo chown -R opam ."
let fixPermissionsScript = "sudo chown -R opam ."

let Config = {
Type = {
Expand All @@ -27,12 +27,17 @@ let Config = {
let build : Config.Type -> Base.Type = \(c : Config.Type) ->
Base.build
Base.Config::{
commands = [ fixPermissionsCommand ] # c.commands,
commands = [ Cmd.run fixPermissionsScript ] # c.commands,
label = c.label,
key = c.key,
target = Size.Large,
docker = Some Docker::{ image = dockerImage }
}

in {fixPermissionsCommand = fixPermissionsCommand, Config = Config, build = build, Type = Base.Type}
in {
fixPermissionsCommand = Cmd.runInDocker Cmd.Docker::{ image = dockerImage } fixPermissionsScript,
Config = Config,
build = build,
Type = Base.Type
}

0 comments on commit e74569e

Please sign in to comment.