Rename --disable-opts option to --disable-optimizations in order to be less

ambiguous, opts sounds more like options than optimizations.

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

diff --git a/configure b/configure
index 3d393a0..69cd10b 100755 (executable)
--- a/configure
+++ b/configure
@@ -164,7 +164,7 @@ show_help(){
   echo
   echo "Developer options (useful when working on FFmpeg itself):"
   echo "  --enable-gprof           enable profiling with gprof [$gprof]"
-  echo "  --disable-opts           disable compiler optimizations"
+  echo "  --disable-optimizations  disable compiler optimizations"
   echo "  --enable-extra-warnings  enable more compiler warnings"
   echo "  --disable-strip          disable stripping of executables and shared libraries"
   echo ""
@@ -725,6 +725,7 @@ CMDLINE_SELECT="
     $THREADS_LIST
     debug
     extra_warnings
+    optimizations
     shared
     static
 "
@@ -982,8 +983,6 @@ for opt do
   ;;
   --cpu=*) cpu="$optval"
   ;;
-  --disable-opts) disable optimizations
-  ;;
   --enable-sunmlib) enable mlib
   ;;
   --disable-strip) disable dostrip