@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 |