Skip to content

Commit

Permalink
Merge pull request #483 from dra27/safe-git-v1
Browse files Browse the repository at this point in the history
Turn off git directory ownership check [1.x version]
  • Loading branch information
smorimoto authored Apr 17, 2022
2 parents e0fc0b4 + 69bb5ba commit 39ecd8e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions dist/install-ocaml-windows.sh

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions src/install-ocaml-windows.sh
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ export OPAM_LINT="false"
export CYGWIN='winsymlinks:native'
export OPAMYES=1
set -eu
git config --global --add safe.directory '*'
curl -fsSL -o "${OPAM_ARCH}.tar.xz" "${OPAM_URL}"
tar -xf "${OPAM_ARCH}.tar.xz"
"${OPAM_ARCH}/install.sh" --quiet --prefix=/usr
Expand Down

0 comments on commit 39ecd8e

Please sign in to comment.