Skip to content

Commit

Permalink
add /opentrons as a safe directory in docker
Browse files Browse the repository at this point in the history
  • Loading branch information
ryanthecoder committed Oct 12, 2023
1 parent 1f50971 commit 75520e7
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions in_docker.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,8 @@ if [[ -n "${FILTER}" ]]; then
done;
fi

git config --global --add safe.directory /opentrons

if [[ -z "${filter}" ]]; then
echo "Unfiltered make"
LANG="en_US.UTF-8" BR2_EXTERNAL=/opentrons make -C /buildroot "$@"
Expand Down

0 comments on commit 75520e7

Please sign in to comment.