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

ambiguous, opts sounds more like options than optimizations.


git-svn-id: file:///var/local/repositories/ffmpeg/trunk@10855 9553f0bf-9b14-0410-a0b8-cfaf0461ba5b

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