#!/bin/bash | |
set -e | |
set -o verbose | |
set -o xtrace | |
export SHELLOPTS | |
echo "SHELLOPTS=${SHELLOPTS}" | |
SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" | |
# In newer shellcheck than 0.6.0, pass: "-P SCRIPTDIR" (literally) | |
# shellcheck disable=SC1090 | |
source "$SCRIPTDIR"/build.sh | |
"$SCRIPTDIR/.plume-scripts/git-clone-related" typetools guava | |
cd ../guava | |
./typecheck.sh lock |