diff --git a/configure b/configure index 3d393a0967a04c505a2bdae3fad5cafb5215cc5c..69cd10b3fd451df8bbc3579f3bd6f7ac5c53eee0 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