#!/bin/bash

# Run development environment out of build directory, using host-tools.sh if
# available.

cd build/system-image-"$1" &&
  env PATH="$[pwd]/build/host:$PATH" ./dev-environment.sh
(CommandList
  children: [
    (AndOr
      children: [
        (C {(cd)} {(build/system-image-) (DQ ($ VSub_Number "$1"))})
        (SimpleCommand
          words: [{(./dev-environment.sh)}]
          more_env: [
            (env_pair
              name: PATH
              val: 
                {
                  (DQ 
                    (CommandSubPart
                      command_list: (CommandList children:[(C {(pwd)})])
                      left_token: <Left_CommandSub "$(">
                      spids: [23 25]
                    ) ("/build/host:") ($ VSub_Name "$PATH")
                  )
                }
              spids: [21]
            )
          ]
        )
      ]
      op_id: Op_DAmp
    )
  ]
)