- if [ ! -z "$SERIOUS_SLASH_TREATMENT" ]; then
- # unless this flag is set, in which case we force dos slashes.
- echo "$1" | sed -e 's/\\/\//g' | sed -e 's/\/cygdrive//' | sed -e 's/\/\([a-zA-Z]\)\/\(.*\)/\1:\/\2/' | sed -e 's/\//\\/g'
- else
+# if [ ! -z "$SERIOUS_SLASH_TREATMENT" ]; then
+# # unless this flag is set, in which case we force dos slashes.
+# echo "$1" | sed -e 's/\\/\//g' | sed -e 's/\/cygdrive//' | sed -e 's/\/\([a-zA-Z]\)\/\(.*\)/\1:\/\2/' | sed -e 's/\//\\/g'
+# else