|  | #!/bin/bash | 
|  | # Copyright 2019 The Fuchsia Authors. All rights reserved. | 
|  | # Use of this source code is governed by a BSD-style license that can be | 
|  | # found in the LICENSE file. | 
|  |  | 
|  | #### CATEGORY=Software delivery | 
|  | ### run bootserver for paving zedboot | 
|  |  | 
|  | ## usage: fx pave-zedboot [extra bootserver arguments] | 
|  |  | 
|  | set -e | 
|  |  | 
|  | source "$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"/lib/vars.sh || exit $? | 
|  | fx-config-read | 
|  |  | 
|  | name_args=() | 
|  | name="$(get-device-name)" | 
|  | if [[ -n "$name" ]]; then | 
|  | name_args+=("-n" "${name}") | 
|  | fi | 
|  |  | 
|  | exec "${FUCHSIA_BUILD_DIR}/pave-zedboot.sh" "${name_args[@]}" "$@" |