configure: Move parts that should not be user-selectable to CONFIG_EXTRA
[ffmpeg.git] / compat /
drwxr-xr-x   ..
-rw-r--r-- 2459 getopt.c