#  Sed script to adapt ./tests/Makefile
/^PATH_SEPARATOR[ 	]*=/ s/:$/;/

# Piping to called make seems not to work with DJGPP's ports of bash.
/^check-TESTS:/,/^$/ {
  /| sed/ s/\\$/ > djgpp_list.txt/
  /|.*MAKE/ s/|//;s/-f[ 	]-/-f djgpp_list.txt/
  /^$/ i\
	rm -f djgpp_list.txt
}

# Remove install-binSCRIPTS from dependecy list of install-exec-am in ./src/Makefile
/^install-exec-am[ 	]*:/ s/install-binSCRIPTS/#&/
