diff options
Diffstat (limited to 'gprof/configure.bat')
| -rw-r--r-- | gprof/configure.bat | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gprof/configure.bat b/gprof/configure.bat deleted file mode 100644 index 22ef37eff88..00000000000 --- a/gprof/configure.bat +++ /dev/null @@ -1,18 +0,0 @@ -@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
|