Rename --disable-strip option to --disable-stripping. This allows
authorDiego Biurrun <diego@biurrun.de>
Tue, 25 Mar 2008 15:00:57 +0000 (15:00 +0000)
committerDiego Biurrun <diego@biurrun.de>
Tue, 25 Mar 2008 15:00:57 +0000 (15:00 +0000)
commit87a0fb627b60a9f13e296e3e2af34b12c997ac95
tree96da6b102c45016018a402b2cfc0e36fbbc3c5a8
parent1f96bafb27a1a201dc0bfd299bea7c0a2d8370dc
Rename --disable-strip option to --disable-stripping. This allows
handling this option in a more standard way.

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