Fix CircleCI's working directory in install-for-ci

Currently on CircleCI, `$CIRCLE_WORKING_DIRECTORY` (defaulting to `~/project`) is where the repository is cloned instead of `$HOME/$CIRCLE_PROJECT_REPONAME/`.
This commit is contained in:
Neil Lindquist 2019-07-11 23:10:02 -04:00 committed by GitHub
parent eb592d05b8
commit 9b46fcab72
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -236,6 +236,6 @@ mkdir -p "$LOCAL_LISP_TREE"
if [ "$TRAVIS" ]; then
echo "(:tree \"$TRAVIS_BUILD_DIR/\")" > "$ASDF_SR_CONF_FILE"
elif [ "$CIRCLECI" ]; then
echo "(:tree \"$HOME/$CIRCLE_PROJECT_REPONAME/\")" > "$ASDF_SR_CONF_FILE"
echo "(:tree \"$CIRCLE_WORKING_DIRECTORY/\")" > "$ASDF_SR_CONF_FILE"
fi
echo "(:tree \"$LOCAL_LISP_TREE/\")" >> "$ASDF_SR_CONF_FILE"