scripts/jiri

#!/bin/sh
# Copyright 2015 The Vanadium Authors. All rights reserved.
# Use of this source code is governed by a BSD-style
# license that can be found in the LICENSE file.

fatal() {
  echo "ERROR: $@" 1>&2
  exit 1
}

# If $JIRI_ROOT is set we always use it, otherwise look for a .jiri_root
# directory starting with the current working directory, and walking up.
if [ "${JIRI_ROOT}" == "" ]; then
  while [ ! -d  "$(pwd)/.jiri_root" ]; do
    if [ "$(pwd)" == "/" ]; then
      fatal "could not find .jiri_root directory"
    fi
    cd ..
  done
  export JIRI_ROOT="$(pwd)"
fi

# Make sure the jiri binary exists and is executable.
if [ ! -e "${JIRI_ROOT}/.jiri_root/bin/jiri" ]; then
  fatal "${JIRI_ROOT}/.jiri_root/bin/jiri does not exist"
elif [ ! -x "${JIRI_ROOT}/.jiri_root/bin/jiri" ]; then
  fatal "${JIRI_ROOT}/.jiri_root/bin/jiri is not executable"
fi

# Execute the jiri binary.
exec "${JIRI_ROOT}/.jiri_root/bin/jiri" "$@"