#!/bin/sh # # This file is part of the coreboot project. # # Copyright (C) 2013 Google Inc. # EXIT_SUCCESS=0 EXIT_FAILURE=1 # Stuff from command-line switches REMOTE_HOST="" CLOBBER_OUTPUT=0 UPLOAD_RESULTS=0 # Used to specify whether a command should always be run locally or # if command should be run remoteley when a remote host is specified. LOCAL=0 REMOTE=1 show_help() { echo "Usage: ${0}