From: Diego Biurrun <diego@biurrun.de>
Date: Wed, 24 Oct 2007 19:19:02 +0000 (+0000)
Subject: Rename --disable-opts option to --disable-optimizations in order to be less
X-Git-Tag: v0.5~7125
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=d2bbb2f743e253869316db3e45f639d09285f583;p=coroid%2Flibav_saccubus.git

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 3d393a096..69cd10b3f 100755
--- 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