@echo off echo Configuring gprof for go32 rem This batch file assumes a unix-type "sed" program echo # Makefile generated by "configure.bat"> Makefile if exist config.sed del config.sed echo "/^###$/ i\ ">>config.sed echo "MY_MACHINE=i386\ ">>config.sed echo "CC=gcc ">>config.sed echo # >> config.sed sed -e "s/^\"//" -e "s/\"$//" -e "s/[ ]*$//" config.sed > config2.sed sed -f config2.sed Makefile.in >> Makefile del config.sed del config2.sed