|
|
@ -809,11 +809,12 @@ function set_operating_system() {
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
case "$OPERATING_SYSTEM" in
|
|
|
|
case "$OPERATING_SYSTEM" in
|
|
|
|
CYGWIN*)
|
|
|
|
CYGWIN*|MINGW*|MSYS*)
|
|
|
|
git_version=$(git --version 2>/dev/null)
|
|
|
|
git_version=$(git --version 2>/dev/null)
|
|
|
|
if [[ "$git_version" =~ windows ]] ; then
|
|
|
|
if [[ "$git_version" =~ windows ]] ; then
|
|
|
|
USE_CYGPATH=1
|
|
|
|
USE_CYGPATH=1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
OPERATING_SYSTEM=$(uname -o)
|
|
|
|
;;
|
|
|
|
;;
|
|
|
|
*)
|
|
|
|
*)
|
|
|
|
;;
|
|
|
|
;;
|
|
|
|