diff options
| -rwxr-xr-x | Ports/.port_include.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index eb98b1ff2f..d97108d1ec 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -727,6 +727,7 @@ do_dev() { pushd "$git_repo" if [ ! -d "$git_repo/.git" ]; then git init . + git config core.autocrlf false git add --all --force git commit -a -m 'Initial import' fi @@ -809,14 +810,14 @@ do_dev() { ) [ -d "$git_repo" ] && [ ! -d "$workdir" ] && { - git clone "$git_repo" "$workdir" + git clone --config core.autocrlf=false "$git_repo" "$workdir" } [ -d "$workdir/.git" ] || { >&2 echo "$workdir does not appear to be a git repository, if you did this manually, you're on your own" if prompt_yes_no "Otherwise, press 'y' to remove that directory and clone it again"; then rm -fr "$workdir" - git clone "$git_repo" "$workdir" + git clone --config core.autocrlf=false "$git_repo" "$workdir" else exit 1 fi |