diff options
Diffstat (limited to 'remote')
| -rw-r--r-- | remote/setup-tools.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/remote/setup-tools.sh b/remote/setup-tools.sh index da42ad0b..15ef335d 100644 --- a/remote/setup-tools.sh +++ b/remote/setup-tools.sh @@ -32,6 +32,18 @@ read_config () . $TOOL_CONFIG } +read_build () +{ + BUILD_SCRIPT=$TOOL_DIR/$TOOL/build.$TOOL + + if [ ! -e $BUILD_SCRIPT ]; then + echo "ERROR: Build script for specified tool not found." + exit 1 + fi + + . $BUILD_SCRIPT +} + setup_git () { if [ ! -z "$GIT" ]; then @@ -67,6 +79,7 @@ main () { while (( "$#" )); do TOOL=$1 read_config + read_build install_dependencies fetch_source build |