Use a different filename that ends in .sh for temporary shell scripts.
authorDiego Biurrun <diego@biurrun.de>
Mon, 31 Mar 2008 14:05:58 +0000 (14:05 +0000)
committerDiego Biurrun <diego@biurrun.de>
Mon, 31 Mar 2008 14:05:58 +0000 (14:05 +0000)
commitedd08265fc241c3ba48a2e2bea5b1b160cf3e35f
tree614b255277409375f183acfdf69e4fed4566e9b6
parent4fd51ee39a6a882dca7305d45e1d98f8065fe2f2
Use a different filename that ends in .sh for temporary shell scripts.
Apparently some Windows command interpreters have trouble executing
shell scripts with an .exe suffix.
inspired by a patch from Axel Holzinger, aholzinger gmx de

Originally committed as revision 12650 to svn://svn.ffmpeg.org/ffmpeg/trunk
configure