# sed script for additional DJGPP specific editing of init.sh.

# path_prepend_ is not able to handle paths with DOS specific drive specifiers.
# It assumes that colons are path separators.
/^path_prepend_[ 	]*()/,/^}$/ {
  s/\*:\*)/*\${PATH_SEPARATOR}*)/
  /PATH=/ s/:/\${PATH_SEPARATOR}/
  s,\/\*),[A-z]:[\\/]* | [\\/]*),
}

/^mktempd_[ 	]*()/,/^}$/ {
  s,\/),[A-z]:[\\/] | [\\/]),
}
